Medien-Manager

Datei

Datum:
2013/10/15 17:43
Dateiname:
kindler_vesper_1998_estl--atemporallogicforeventsandstates_seite_01.png
Format:
PNG
Größe:
38KB
Breite:
1198
Höhe:
1850
Verwendung von:
State/event-based software specification & analysis

RWTH Aachen - Lehrstuhl Informatik 11 - Ahornstr. 55 - 52074 Aachen - Deutschland