Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars.

Yves-Marie Quemener, Thierry Jron

Browse the full FORTE paper archive.