Return to Article Details A Formal Language for the Analysis of Graph Models and its Software Implementation Download Download PDF