(2008). Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Chicagoスタイル(17版)引用形式Principles of Model Checking / Christel Baier, Joost-Pieter Katoen. 2008.
MLA(9版)引用形式Principles of Model Checking / Christel Baier, Joost-Pieter Katoen. 2008.
警告: この引用は必ずしも正確ではありません.