Media type: E-Book Title: Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN Contributor: Leitner-Fischer, Florian [Author] Published: Konstanz: Bibliothek der Universität Konstanz, 2008 Published in: Technical Report soft ; 08-05 Extent: Online-Ressource Language: English Identifier: Origination: Footnote: Access State: Open Access