Joost-Pieter Katoen

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier,Joost-Pieter Katoen