Parameterized Model Checking of Rendezvous Systems. Aminof, B., Kotek, T., Rubin, S., Spegni, F., & Veith, H. In CONCUR 2014 - Concurrency Theory - 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings, pages 109--124, 2014.
bibtex   
@inproceedings{DBLP:conf/concur/AminofKRSV14,
  author    = {Benjamin Aminof and
               Tomer Kotek and
               Sasha Rubin and
               Francesco Spegni and
               Helmut Veith},
  title     = {Parameterized Model Checking of Rendezvous Systems},
  booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
               {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
  pages     = {109--124},
  year      = {2014},
  optcrossref  = {DBLP:conf/concur/2014},
  opturl       = {http://dx.optdoi.org/10.1007/978-3-662-44584-6_9},
  optdoi       = {10.1007/978-3-662-44584-6_9},
  timestamp = {Tue, 09 Sep 2014 10:24:52 +0200},
  bibopturl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/AminofKRSV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

Downloads: 0