PARTY: parameterized synthesis of token rings

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	International Conference on Computer Aided Verification
Herausgeber (Verlag)	.
Seiten	1-2
DOIs	https://doi.org/10.1007/978-3-642-39799-8_66
Publikationsstatus	Veröffentlicht - 2013

Fields of Expertise

@inproceedings{d4e9bf33a5be432e8df6c23af9378a60,

title = "PARTY: parameterized synthesis of token rings",

author = "Ayrat Khalimov and Swen Jacobs and Bloem, {Roderick Paul}",

year = "2013",

doi = "10.1007/978-3-642-39799-8_66",

language = "English",

pages = "1--2",

booktitle = "International Conference on Computer Aided Verification",

publisher = ".",

}