%0 Conference Paper %1 conf/vmcai/AminofJKR14 %A Aminof, Benjamin %A Jacobs, Swen %A Khalimov, Ayrat %A Rubin, Sasha %B VMCAI %D 2014 %E McMillan, Kenneth L. %E Rival, Xavier %I Springer %K %P 262-281 %T Parameterized Model Checking of Token-Passing Systems. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#AminofJKR14 %V 8318 %@ 978-3-642-54012-7

@inproceedings{conf/vmcai/AminofJKR14, added-at = {2023-12-14T15:54:07.000+0100}, author = {Aminof, Benjamin and Jacobs, Swen and Khalimov, Ayrat and Rubin, Sasha}, biburl = {https://www.bibsonomy.org/bibtex/2a6e9725c82bf93759b229223a8006078/admin}, booktitle = {VMCAI}, crossref = {conf/vmcai/2014}, editor = {McMillan, Kenneth L. and Rival, Xavier}, ee = {https://doi.org/10.1007/978-3-642-54013-4_15}, interhash = {f0f4a41e9989cdb9517b61abe7fe821b}, intrahash = {a6e9725c82bf93759b229223a8006078}, isbn = {978-3-642-54012-7}, keywords = {}, pages = {262-281}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:54:07.000+0100}, title = {Parameterized Model Checking of Token-Passing Systems.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2014.html#AminofJKR14}, volume = 8318, year = 2014 }