]> 2022-02-18T21:52:38+01:00 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/A: Appendix: Preliminaries 0 nl 2009-11-11T11:08:30Z 2455146.9642361 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/A: Appendix: Preliminaries Model Checking Reading Club/Typos and Comments/A: Appendix: Preliminaries 0 nl Model Checking Reading Club/Typos and Comments/A: Appendix: Preliminaries