Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.
['Vesselka Duridanova', 'Thorsten Hummel', 'Olga Fengler', 'Wolfgang Fengler']
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen.