Decidability of Parameterized Verification
by Roderick Bloem , Swen Jacobs , Ayrat Khalimov , Igor Konnov
No reviews yet
First published: 2015
1 language
ISBN: 9781627057448
