Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars (1996)

by Y M Quemener, T J'eron
Venue:In FORTE/PSTV'96. Chapman and