レコードの引用形
APA(7版)引用形式
Baier, C., & Katoen, J. (2008). Principles of model checking. MIT Press.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
Chicagoスタイル(17版)引用形式
Baier, Christel, , Joost-Pieter Katoen. Principles of Model Checking. Cambridge, Mass.: MIT Press, 2008.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
MLA(9版)引用形式
Baier, Christel, , Joost-Pieter Katoen. Principles of Model Checking. MIT Press, 2008.
クリップボードにコピーしました
クリップボードへのコピーに失敗しました
警告: この引用は必ずしも正確ではありません.