Specification of Real-Time Systems with Graph Grammars. - Leonardo Michelon; Simone André da Costa; Leila Ribeiro 001 (SBES, 2006)

Formal Specification and Verification of Real-Time Systems using Graph Grammars. - Leonardo Michelon; Simone André da Costa; Leila Ribeiro 001 (J. Braz. Comput. Soc., 2007)