Roderick Bloem

Software Verification

2022

Handbook of Model Checking

2018

Decidability of Parameterized

Decidability of Parameterized Verification

2015

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings

2013