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. |