1999
Model checking
GRUMBERG, Orna, Doron A. PELED and E. M. CLARKEBasic information
Original name
Model checking
Authors
GRUMBERG, Orna, Doron A. PELED and E. M. CLARKE
Edition
Cambridge, xiv, 314, 1999
Publisher
MIT Press
Other information
ISBN
0262032708
Changed: 8/8/2022 12:24, The record has been imported from the library system.