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
{"_id":"MPLv6GnxdK2KHawDz","bibbaseid":"aminof-kotek-rubin-spegni-veith-parameterizedmodelcheckingofrendezvoussystems-2014","downloads":0,"creationDate":"2017-07-25T20:26:33.816Z","title":"Parameterized Model Checking of Rendezvous Systems","author_short":["Aminof, B.","Kotek, T.","Rubin, S.","Spegni, F.","Veith, H."],"year":2014,"bibtype":"inproceedings","biburl":"http://sasharubin.github.io/rubin.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Tomer"],"propositions":[],"lastnames":["Kotek"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Spegni"],"suffixes":[]},{"firstnames":["Helmut"],"propositions":[],"lastnames":["Veith"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/concur/AminofKRSV14,\n author = {Benjamin Aminof and\n Tomer Kotek and\n Sasha Rubin and\n Francesco Spegni and\n Helmut Veith},\n title = {Parameterized Model Checking of Rendezvous Systems},\n booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,\n {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},\n pages = {109--124},\n year = {2014},\n optcrossref = {DBLP:conf/concur/2014},\n opturl = {http://dx.optdoi.org/10.1007/978-3-662-44584-6_9},\n optdoi = {10.1007/978-3-662-44584-6_9},\n timestamp = {Tue, 09 Sep 2014 10:24:52 +0200},\n bibopturl = {http://dblp.uni-trier.de/rec/bib/conf/concur/AminofKRSV14},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Aminof, B.","Kotek, T.","Rubin, S.","Spegni, F.","Veith, H."],"key":"DBLP:conf/concur/AminofKRSV14","id":"DBLP:conf/concur/AminofKRSV14","bibbaseid":"aminof-kotek-rubin-spegni-veith-parameterizedmodelcheckingofrendezvoussystems-2014","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["parameterized","model","checking","rendezvous","systems","aminof","kotek","rubin","spegni","veith"],"keywords":[],"authorIDs":[],"dataSources":["iYnHSPRrFF76W8ptK"]}