Vivekananda Library Search for 'au:"Roderick Bloem"'

Handbook of Model Checking

By Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem. Springer International Publishing 2018 978-3-319-10575-8

By Roderick Bloem, Peter Lipp. Springer International Publishing 2013 978-3-319-03491-1

By Armin Biere, Roderick Bloem. Springer International Publishing 2014 978-3-319-08867-9

By Roderick Bloem. 2022 978-3-030-95560-1978-3-030-95561-8

By Edmund M. Clarke. Springer International Publishing 2018 978-3-319-10574-1978-3-319-10575-8

By Roderick Bloem, Peter Lipp. Springer International Publishing 2013 978-3-319-03491-1

By Armin Biere, Roderick Bloem. Springer International Publishing 2014 978-3-319-08867-9