On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: Reachability (bibtex)
by Igor Konnov, Helmut Veith, Josef Widder
Reference:
On the Completeness of Bounded Model Checking for Threshold-Based Distributed Algorithms: ReachabilityIgor Konnov, Helmut Veith, Josef WidderCONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pages 125-140, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/concur/KonnovVW14,
  author    = {Igor Konnov and
               Helmut Veith and
               Josef Widder},
  title     = {On the Completeness of Bounded Model Checking for Threshold-Based
               Distributed Algorithms: Reachability},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  year      = {2014},
  pages     = {125--140},
  doi       = {10.1007/978-3-662-44584-6_10},
}
Powered by bibtexbrowser