Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/09: Timed Automata

These pages contain remarks and comments – many typos and errata, some proposals for change – that we have found during reading the book:

Principles of model checking / Christel Baier; Joost-Pieter Katoen. – Cambridge, Mass.: MIT Press, 2008.

ISBN 978-0-262-02649-9.

For more details, see the table of contents.