Parameterized Model Checking by Network Invariants: the Asynchronous Case

Konnov, Igor

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 =    {}
}