Special issue: CAV 2015
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
New York
Springer
2017
|
| Schriftenreihe: | Formal methods in system design
volume 50, numbers 2/3 (June 2017) |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Enthält Beiträge folgender Veranstaltung: "CAV 2015: 27th International Conference on Computer Aided Verification // July 18-24, 2015 // San Francisco, California" - Homepage der Konferenz Literaturangaben |
|---|---|
| Beschreibung: | Seite 97-352 Diagramme |