by Roderick Bloem , Peter Lipp
No reviews yet. Be the first!
Decidability of Parameterized Verificati...
Handbook of Model Checking
Computer Aided Verification
Software Verification
Hardware and Software : Verification and...
Trusted Systems 5th International Confer...