Medien-Manager
Datei
- Datum:
- 2013/10/15 17:32
- Dateiname:
- lavagno_al_1995_anefficientheuristicprocedureforsolvingthestateassignmentproblemforevent-basedspecifications_seite_01.png
- Format:
- PNG
- Größe:
- 173KB
- Breite:
- 2915
- Höhe:
- 3754
- Verwendung von:
- State/event-based software specification & analysis