Number of items: 2.
Conference or Workshop Item (A Paper)
Aminof, Benjamin and Jacobs, Swen and Khalimov, Ayrat and Rubin, Sasha
(2014)
Parameterized Model Checking of Token-Passing Systems.
Article
Aminof, Benjamin and Jacobs, Swen and Khalimov, Ayrat and Rubin, Sasha
(2013)
Parameterized Model Checking of Token-Passing Systems.
CoRR, abs/13.
This list was generated on Mon Oct 2 07:27:06 2023 CEST.