Leonardo Michelon

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2007
j1		Leonardo Michelon, Simone André da Costa, Leila Ribeiro: Formal Specification and Verification of Real-Time Systems using Graph Grammars. J. Braz. Comp. Soc. 13(4): 51-68 (2007)

Coauthor Index

1	Simone Andre da Costa Cavalheiro (Simone André da Costa)	[j1]
2	Leila Ribeiro (Leila Ribeiro Korff)	[j1]

Last update Fri May 24 14:47:51 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page