Application of Graph Transformation in Verification of Dynamic Systems.

Zarrin Langari, Richard J. Trefler

Browse the full IFM paper archive.