]> 2022-02-18T21:51:29+01:00 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/01: System Verification 0 nl 2009-11-11T10:53:01Z 2455146.9534838 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/01: System Verification Model Checking Reading Club/Typos and Comments/01: System Verification 0 nl Model Checking Reading Club/Typos and Comments/01: System Verification