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

Model checking

CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING, Helmut VEITH et. al.

Basic information

Original name

Model checking

Authors

CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING and Helmut VEITH

Edition

Second edition. Cambridge, Massachusetts, xx, 402, 2018

Publisher

MIT Press

Other information

ISBN

9780262038836

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

CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING and Helmut VEITH. Model checking. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN 9780262038836.

CLARKE, E. M., Orna GRUMBERG, Doron PELED, Daniel KROENING and Helmut VEITH. \textit{Model checking}. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN~9780262038836.