Gaya APA
Baier, C. (2008).
(E-BOOK - SISTEM INFORMASI - TEKNIK INFORMATIKA) Principles Of Model Checking (1).
London:
The MIT Press.
Gaya MLA
Baier, Christel.
"(E-BOOK - SISTEM INFORMASI - TEKNIK INFORMATIKA) Principles Of Model Checking".
1
London:
The MIT Press,
2008.
Computer File.