Parameterized Model Checking of Rendezvous Systems (bibtex)
by Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith
Reference:
Parameterized Model Checking of Rendezvous SystemsBenjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut VeithChapter in CONCUR 2014 – Concurrency Theory (Paolo Baldan, Daniele Gorla, eds.), volume 8704 of Lecture Notes in Computer Science, pages 109-124, 2014, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{pr:AKRSV14,
year={2014},
isbn={978-3-662-44583-9},
booktitle={CONCUR 2014 – Concurrency Theory},
volume={8704},
series={Lecture Notes in Computer Science},
editor={Baldan, Paolo and Gorla, Daniele},
doi={10.1007/978-3-662-44584-6_9},
title={Parameterized Model Checking of Rendezvous Systems},
url={http://dx.doi.org/10.1007/978-3-662-44584-6_9},
publisher={Springer Berlin Heidelberg},
author={Aminof, Benjamin and Kotek, Tomer and Rubin, Sasha and Spegni, Francesco and Veith, Helmut},
pages={109-124},
language={English}
}
Powered by bibtexbrowser