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 Jan 20 07:53:30 2025 CET.