9 results for Roderick Bloem
-
Anchor for 1 page of results
-
Computer Aided Verification
Paperback
Published 20 Jul 2014 -
-
-
Decidability of Parameterized V...
Paperback
Published 30 Sep 2015 -
-
-
Handbook of Model Checking
Paperback
Published 14 Nov 2020 -
-