Principles of model checking
Baier, Christel.
Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen. - Cambridge, Mass. : MIT Press, 2008. - xvii, 975 p. : ill.
Includes bibliographical references (p. 931-964) and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
GBA847597 bnb
Uk
Computer systems--Verification.
Computer software--Verification.
Electronic books.
QA76.76.V47 / B35 2008eb
004.2/4
Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen. - Cambridge, Mass. : MIT Press, 2008. - xvii, 975 p. : ill.
Includes bibliographical references (p. 931-964) and index.
Electronic reproduction.
Palo Alto, Calif. :
ebrary,
2013.
Available via World Wide Web.
Access may be limited to ebrary affiliated libraries.
GBA847597 bnb
Uk
Computer systems--Verification.
Computer software--Verification.
Electronic books.
QA76.76.V47 / B35 2008eb
004.2/4