Handbook of model checking

Skip to top bar Skip to header Skip to content Skip to footer

Publications Detailed Information on Publication Record

Detailed Information on Publication Record

2018

Handbook of model checking

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

Změněno: 8/8/2022 15:11, The record has been imported from the library system.

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.

\textit{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.