You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Thesis
Title:
Symbolische Methoden für die probabilistische Verifikation
:
Zustandsraumreduktion und Gegenbeispiele
Other titles:
abweichender Titel: Übers. des Hauptsacht.: Symbolic methods for probabilistic verification
Übers. des Hauptsacht.: Symbolic methods for probabilistic verification