Eintrag weiter verarbeiten
Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems
Gespeichert in:
| Personen und Körperschaften: | , |
|---|---|
| Titel: | Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems/ Stefan Leue; Wei Wei |
| Format: | E-Book |
| Sprache: | Englisch |
| veröffentlicht: |
Konstanz
Bibliothek der Universität Konstanz
2011
|
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |