Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors extended version

Bibliographische Detailangaben

1. Verfasser:	Maximova, Maria (VerfasserIn)
Weitere Verfasser:	Ehrig, Hartmut (VerfasserIn), Ermel, Claudia (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin Professoren der Fakultät IV, Elektrotechnik und Informatik 2012
Schriftenreihe:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin 2012,8
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!