]> 2022-02-18T21:51:21+01:00 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/00: Frontmatter, Preface 0 nl 2009-11-11T10:51:50Z 2455146.952662 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/00: Frontmatter, Preface Model Checking Reading Club/Typos and Comments/00: Frontmatter, Preface 0 nl Model Checking Reading Club/Typos and Comments/00: Frontmatter, Preface