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

Gespeichert in:
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:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:22 S.
graph. Darst.