Detailed Information on Publication Record
2008
Principles of model checking
BAIER, Christel and Joost-Pieter KATOENBasic 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
Změněno: 11/9/2023 04:46, The record has been imported from the library system.