| CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING and Helmut VEITH. Model checking. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN 9780262038836. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Model checking |
| Authors | CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING and Helmut VEITH. |
| Edition | Second edition. Cambridge, Massachusetts, xx, 402, 2018. |
| Publisher | MIT Press |
| Other information | |
|---|---|
| ISBN | 9780262038836 |
| Changed by | The record has been imported from the library system. Changed: 8/8/2022 15:27. |
PrintDisplayed: 2/5/2024 04:14