Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/00: Frontmatter, Preface

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.

Frontmatter

• i and v ] Please suppress the page number on these pages.

• iv, 1, ©Massachusetts Institute of Technology ] The first line needs a year between © and the copyright owner’s name (as in © 2008, MIT) in order to be a valid copyright notice. Tim Leonard

Preface

• xv, -2, running throughout ] read: running through

• xvi, subsubsection Content ] I don't see the point of such a subsubsection in a book with a list of contents. David Jansen

• xvii, 5, Dragan Boshnacki ] read LaTeX code: Dragan Bo\v{s}na\v{c}ki

• xvii, 15, Marcus Grösser ] read: Marcus Groesser

• xvii, 16, Martin Neuhäusser ] read: Martin Neuhäußer