APA Citation

Schamai, W. (2013). Model-Based Verification of Dynamic System Behavior Against Requirements: Method, Language, and Tool. Linköping: Linkopings Universitet.

Chicago Style Citation

Schamai, Wladimir. Model-Based Verification of Dynamic System Behavior Against Requirements: Method, Language, and Tool. Linköping: Linkopings Universitet, 2013.

MLA Citation

Schamai, Wladimir. Model-Based Verification of Dynamic System Behavior Against Requirements: Method, Language, and Tool. Linköping: Linkopings Universitet, 2013.

Warning: These citations may not always be 100% accurate.