by Igor Konnov
Reference:
Parameterized Model Checking by Network Invariants: the Asynchronous CaseIgor Konnov2012, LICS Workshop AISS.
Bibtex Entry:
@Misc{K12,
author = {Igor Konnov},
title = {Parameterized Model Checking by Network Invariants: the Asynchronous Case},
OPTcrossref = {},
OPTkey = {},
OPTpages = {},
year = {2012},
OPTeditor = {},
OPTvolume = {},
OPTnumber = {},
OPTseries = {},
OPTaddress = {},
OPTmonth = {July},
OPTorganization = {},
OPTpublisher = {},
howpublished = {LICS Workshop {AISS}},
url = {http://forsyte.at/wp-content/uploads/12konnov-aiss.pdf},
OPTannote = {}
}