PARTY: parameterized synthesis of token rings

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	International Conference on Computer Aided Verification
Publisher	.
Pages	1-2
DOIs	https://doi.org/10.1007/978-3-642-39799-8_66
Publication status	Published - 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 = ".",

}