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: 5/9/2024 12:19