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
2013
|
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |