BAIER, Christel and Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499. |
Other formats:
BibTeX
LaTeX
RIS
|
Basic information | |
---|---|
Original name | Principles of model checking |
Authors | BAIER, Christel and Joost-Pieter KATOEN. |
Edition | Cambridge, Mass. xvii, 975, 2008. |
Publisher | MIT Press |
Other information | |
---|---|
ISBN | 9780262026499 |
Changed by | The record has been imported from the library system. Changed: 11/9/2023 04:46. |
PrintDisplayed: 12/10/2024 05:14