Detailed Information on Publication Record
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
Změněno: 8/8/2022 12:24, The record has been imported from the library system.