Media type: E-Book; Thesis Title: Supporting Validation and Verification of State-Based Formal Models Contributor: Plagge, Daniel [Author]; Leuschel, Michael [Degree supervisor]; Denecker, Marc [Degree supervisor] Published: Düsseldorf: Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2016 Extent: Online-Ressource Language: English Identifier: Keywords: Hochschulschrift Origination: University thesis: Düsseldorf, Heinrich-Heine-Universität, Diss., 2015 Footnote: Access State: Open Access