Baier, C., & Katoen, J. (2012). Principles of model checking. The MIT Press.
Chicago Edition CitationBaier, Christel, and Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: The MIT Press, 2012.
Deismireacht MLABaier, Christel, and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press, 2012.
Rabhadh: D'fhéadfadh nach mbeadh na deismireachtaí seo 100% cruinn i gcónaí.