APA Style

Cervantes, F, M. (2013). A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems . Karlsruhe, Jerman.: KIT Scientific Publishing.

MLA Style

Cervantes, Francisco, Mendoza. "A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems". Karlsruhe, Jerman.: KIT Scientific Publishing, 2013. Text.