Browse
FAQ

Author

Swen Jacobs

1 book found

Cover of Decidability of Parameterized Verification

Decidability of Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov · First published 2015