GRUMBERG, Orna, Doron A. PELED and E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999. xiv, 314. ISBN 0262032708.
Other formats:   BibTeX LaTeX RIS
Basic 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 by The record has been imported from the library system. Changed: 27/3/2017 05:14.
PrintDisplayed: 17/11/2019 21:30