| 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: 27/4/2024 16:22