Parameterized Model Checking by Network Invariants: the Asynchronous Case (bibtex)
by Igor Konnov
Reference:
Parameterized Model Checking by Network Invariants: the Asynchronous CaseIgor Konnov2012, LICS Workshop AISS.
Bibtex Entry:
@misc{K12,
optmonth = {July},
title = {Parameterized Model Checking by Network Invariants: the Asynchronous
Case},
url = {/pubpdf/Parameterized_Model_Checking_by_Network_Invariants__the_Asynchronous_Case.pdf},
author = {Igor Konnov},
link = {http://forsyte.at/wp-content/uploads/12konnov-aiss.pdf},
year = {2012},
howpublished = {LICS Workshop {AISS}},
}
Powered by bibtexbrowser