| Handbook of model checking. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN 9783319105741. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Handbook of model checking |
| Authors | Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. |
| Edition | Cham, xxiv, 1210, 2018. |
| Publisher | Springer International Publishing AG |
| Other information | |
|---|---|
| ISBN | 9783319105741 |
| Changed by | The record has been imported from the library system. Changed: 8/8/2022 15:11. |
PrintDisplayed: 11/5/2024 14:43