Professor and chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich (Germany). Coauthor of Free Choice Petri Nets and Unfoldings: A Partial-Order Approach to Model Checking.
Associate professor of computer science at the Université de Sherbrooke (Canada). Researcher at the intersection of theoretical computer science and formal methods (formal verification, automata theory, concurrency, logic, computational complexity theory).
These slides have been produced by Javier Esparza for a master's course based on this book at the Technical University of Munich. The sources can be requested by instructors from MIT Press.