]> 2022-02-18T21:51:43+01:00 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/03: Linear-Time Properties 0 nl 2009-11-11T10:54:40Z 2455146.9546296 Model Checking Reading Club/Baier, Katoen: Principles of Model Checking/03: Linear-Time Properties Model Checking Reading Club/Typos and Comments/3: Linear-Time Properties 0 nl Model Checking Reading Club/Typos and Comments/3: Linear-Time Properties