| 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: 8/8/2022 12:24. |
PrintDisplayed: 27/4/2024 17:48