APA
Stefan Edelkamp A. L., . (2007). Model Checking and Artificial Intelligence. Germany: Springer.
Chicago
Stefan Edelkamp Alessio Lomuscio, . 2007. Model Checking and Artificial Intelligence. Germany: Springer.
Harvard
Stefan Edelkamp A. L., . (2007). Model Checking and Artificial Intelligence. Germany: Springer.
MLA
Stefan Edelkamp Alessio Lomuscio, . Model Checking and Artificial Intelligence. Germany: Springer. 2007.