Leonardo Michelon

Publication Activity (10 Years)

Years Active: 2006-2007
Publications (10 Years): 0

Publications

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