From the specification of multiagent systems by statecharts to their formal analysis by model checking

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Hutten, Pascal von Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets
1. Verfasser:	Stolzenburg, Frieder (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	2001
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!