(2008). Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Tohutoru Kātū Chicago (17th ed.)Principles of Model Checking / Christel Baier, Joost-Pieter Katoen. 2008.
Tohutoro MLA (9th ed.)Principles of Model Checking / Christel Baier, Joost-Pieter Katoen. 2008.
Kia tūpato: Kāore pea ēnei kupu hautoa i te ōrite pū 100%.