Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press.
Ondo kopiatu da
Kopiatzeak huts egin du
Chicago Style (17th ed.) Zitazioa
Baier, Christel, eta Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: MIT Press, 2008.
Ondo kopiatu da
Kopiatzeak huts egin du
MLA (9th ed.) Zitazioa
Baier, Christel, eta Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
Ondo kopiatu da
Kopiatzeak huts egin du
Kontuz: berrikusi erreferentzia hauek erabili aurretik.