Article,

Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors.

, , and .
ECEASST, (2012)

Meta data

Tags

    Users

    Comments and Reviews