]> 2022-02-18T21:52:26+01:00 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/09: Timed Automata 0 nl 2009-11-11T11:06:45Z 2455146.9630208 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/09: Timed Automata Model Checking Reading Club/Typos and Comments/9: Timed Automata 0 nl Model Checking Reading Club/Typos and Comments/9: Timed Automata