Who is afraid of Model Checking Distributed Algorithms? (bibtex)
by Igor Konnov, Helmut Veith, Josef Widder
Reference:
Who is afraid of Model Checking Distributed Algorithms?Igor Konnov, Helmut Veith, Josef Widder2012, CAV Workshop (EC)\^2.
Bibtex Entry:
@Misc{KVW12,
  author =       {Igor Konnov and Helmut Veith and Josef Widder},
  title =        {Who is afraid of Model Checking Distributed Algorithms?},
  OPTcrossref =  {},
  OPTkey =       {},
  OPTpages =     {},
  year =         {2012},
  OPTeditor =    {},
  OPTvolume =    {},
  OPTnumber =    {},
  OPTseries =    {},
  OPTaddress =   {},
  OPTmonth =     {},
  OPTorganization = {},
  OPTpublisher = {},
  howpublished =         {CAV Workshop {(EC)\^2}},
  url = {http://forsyte.at/wp-content/uploads/2012/07/ec2-konnov.pdf},
  OPTannote =    {}
}
Powered by bibtexbrowser