Treffer: CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 pp. Hardcover
Title:
CHRISTEL BAIER AND JOOST-PIETER KATOEN * Principles of Model Checking. MIT Press (May 2008). * ISBN: 978-0-262-02649-9. {pound}44.95. 975 pp. Hardcover
Authors:
Publisher Information:
Oxford University Press
Publication Year:
2010
Collection:
HighWire Press (Stanford University)
Subject Terms:
Document Type:
Fachzeitschrift
text
File Description:
text/html
Language:
English
Relation:
DOI:
10.1093/comjnl/bxp025
Availability:
Rights:
Copyright (C) 2010, British Computer Society
Accession Number:
edsbas.D41BBF58
Database:
BASE