Maximova, M., Ehrig, H., & Ermel, C. (2012). Transfer of local confluence and termination between Petri net and graph transformation systems based on M-functors: Extended version. Professoren der Fakultät IV, Elektrotechnik und Informatik. https://doi.org/10.14279/depositonce-10202
Chicago-Zitierstil (17. Ausg.)Maximova, Maria, Hartmut Ehrig, und Claudia Ermel. Transfer of Local Confluence and Termination Between Petri Net and Graph Transformation Systems Based on M-functors: Extended Version. Berlin: Professoren der Fakultät IV, Elektrotechnik und Informatik, 2012. https://doi.org/10.14279/depositonce-10202.
MLA-Zitierstil (9. Ausg.)Maximova, Maria, et al. Transfer of Local Confluence and Termination Between Petri Net and Graph Transformation Systems Based on M-functors: Extended Version. Professoren der Fakultät IV, Elektrotechnik und Informatik, 2012. https://doi.org/10.14279/depositonce-10202.