Decidability of Parameterized Verification
We couldn't estimate the reading time for this book.
Publication
2015 - Morgan & Claypool Publishers
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139781627057431
- ISBN-101627057439
- Better World Books9781627057431
- Open LibraryOL37261947M
Subjects
Other Editions
- Decidability of Parameterized Verification
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!