Normal view
MARC view
Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem(Personal Name)
Machine generated authority record
Work cat.: (OSt)1630742: Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem, Handbook of Model Checking