Reachability Analysis on Timed Graph Transformation Systems

Christian Heinzemann, Julian Suck, Tobias Eckardt. Reachability Analysis on Timed Graph Transformation Systems. ECEASST, 32, 2010. [doi]

Authors

Christian Heinzemann

This author has not been identified. It may be one of the following persons: Look up 'Christian Heinzemann' in Google

Julian Suck

This author has not been identified. Look up 'Julian Suck' in Google

Tobias Eckardt

This author has not been identified. Look up 'Tobias Eckardt' in Google