@inproceedings{conf/concur/AminofKRSV14,
  added-at = {2019-09-25T00:00:00.000+0200},
  author = {Aminof, Benjamin and Kotek, Tomer and Rubin, Sasha and Spegni, Francesco and Veith, Helmut},
  biburl = {https://www.bibsonomy.org/bibtex/2ca8f776607ccca5a52aaf8b3f14c5f04/dblp},
  booktitle = {CONCUR},
  crossref = {conf/concur/2014},
  editor = {Baldan, Paolo and Gorla, Daniele},
  ee = {https://doi.org/10.1007/978-3-662-44584-6_9},
  interhash = {4c0dfcd5f2bf0b9781e964593362fb33},
  intrahash = {ca8f776607ccca5a52aaf8b3f14c5f04},
  isbn = {978-3-662-44583-9},
  keywords = {dblp},
  pages = {109-124},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-09-26T12:43:40.000+0200},
  title = {Parameterized Model Checking of Rendezvous Systems.},
  url = {http://dblp.uni-trier.de/db/conf/concur/concur2014.html#AminofKRSV14},
  volume = 8704,
  year = 2014
}

{"_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://www.bibsonomy.org/bib/author/Rubin?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2019-09-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Aminof"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Kotek"],"firstnames":["Tomer"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Sasha"],"suffixes":[]},{"propositions":[],"lastnames":["Spegni"],"firstnames":["Francesco"],"suffixes":[]},{"propositions":[],"lastnames":["Veith"],"firstnames":["Helmut"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ca8f776607ccca5a52aaf8b3f14c5f04/dblp","booktitle":"CONCUR","crossref":"conf/concur/2014","editor":[{"propositions":[],"lastnames":["Baldan"],"firstnames":["Paolo"],"suffixes":[]},{"propositions":[],"lastnames":["Gorla"],"firstnames":["Daniele"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-662-44584-6_9","interhash":"4c0dfcd5f2bf0b9781e964593362fb33","intrahash":"ca8f776607ccca5a52aaf8b3f14c5f04","isbn":"978-3-662-44583-9","keywords":"dblp","pages":"109-124","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-09-26T12:43:40.000+0200","title":"Parameterized Model Checking of Rendezvous Systems.","url":"http://dblp.uni-trier.de/db/conf/concur/concur2014.html#AminofKRSV14","volume":"8704","year":"2014","bibtex":"@inproceedings{conf/concur/AminofKRSV14,\n added-at = {2019-09-25T00:00:00.000+0200},\n author = {Aminof, Benjamin and Kotek, Tomer and Rubin, Sasha and Spegni, Francesco and Veith, Helmut},\n biburl = {https://www.bibsonomy.org/bibtex/2ca8f776607ccca5a52aaf8b3f14c5f04/dblp},\n booktitle = {CONCUR},\n crossref = {conf/concur/2014},\n editor = {Baldan, Paolo and Gorla, Daniele},\n ee = {https://doi.org/10.1007/978-3-662-44584-6_9},\n interhash = {4c0dfcd5f2bf0b9781e964593362fb33},\n intrahash = {ca8f776607ccca5a52aaf8b3f14c5f04},\n isbn = {978-3-662-44583-9},\n keywords = {dblp},\n pages = {109-124},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-09-26T12:43:40.000+0200},\n title = {Parameterized Model Checking of Rendezvous Systems.},\n url = {http://dblp.uni-trier.de/db/conf/concur/concur2014.html#AminofKRSV14},\n volume = 8704,\n year = 2014\n}\n\n","author_short":["Aminof, B.","Kotek, T.","Rubin, S.","Spegni, F.","Veith, H."],"editor_short":["Baldan, P.","Gorla, D."],"key":"conf/concur/AminofKRSV14","id":"conf/concur/AminofKRSV14","bibbaseid":"aminof-kotek-rubin-spegni-veith-parameterizedmodelcheckingofrendezvoussystems-2014","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-662-44584-6_9","Paper":"http://dblp.uni-trier.de/db/conf/concur/concur2014.html#AminofKRSV14"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["parameterized","model","checking","rendezvous","systems","aminof","kotek","rubin","spegni","veith"],"keywords":["dblp"],"authorIDs":[],"dataSources":["iYnHSPRrFF76W8ptK","74JLffDBQLjrojguT"]}