Gaya APA
, .
(2009).
Model checking and artificial intellegence
.
Berlin:
Springer.
Gaya MLA
, .
"Model checking and artificial intellegence".
Berlin:
Springer,
2009.
Printed Book.