Decidability of Parameterized Verification
de Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov
Ediciones (3)
- Decidability of Parameterized Verification (2015)
Springer International Publishing AG · inglés · ISBN 9783031008832
- Decidability of Parameterized Verification (2015)
Morgan & Claypool Publishers · inglés · ISBN 9781627057448
- Decidability of Parameterized Verification (2015)
Morgan & Claypool Publishers · inglés · ISBN 9781627057431
Más obras de Roderick Bloem
