Rule-based refinement for place/transition systems preserving liveness-properties

Bibliographische Detailangaben

1. Verfasser:	Gajewsky, Maike (VerfasserIn)
Weitere Verfasser:	Padberg, Julia (VerfasserIn), Urbášek, Milan (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 2001
Schriftenreihe:	Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin 2001,8
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!