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.). Technische Universität Berlin. 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: Technische Universität Berlin, 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. Technische Universität Berlin, 2012. https://doi.org/10.14279/depositonce-10202.