Modular State Space Exploration for Timed Petri Nets

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer 2006, Vol.8
Hauptverfasser:	Lakos, Charles, Petrucci, Laure
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Other
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!