PARTY Parameterized Synthesis of Token Rings

Ayrat Khalimov, Swen Jacobs, Roderick Bloem. PARTY Parameterized Synthesis of Token Rings. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 928-933, Springer, 2013. [doi]

Authors

Ayrat Khalimov

This author has not been identified. Look up 'Ayrat Khalimov' in Google

Swen Jacobs

This author has not been identified. Look up 'Swen Jacobs' in Google

Roderick Bloem

This author has not been identified. Look up 'Roderick Bloem' in Google