TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors – Extended Version
Zitatschlüssel MEE12a
Autor Maximova, M. and Ehrig, H. and Ermel, C.
Jahr 2012
Nummer 2012/08
Institution Technische Universität Berlin
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe