(1)
Heinzemann, C.; Suck, J.; Eckardt, T. Reachability Analysis on Timed Graph Transformation Systems.
ECEASST
2011
,
32
.