Rovedy B. da Silva

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Miriam C. B. Alves, Christine C. Dantas, Nanci N. Arai, Rovedy B. da Silva: A topological formal treatment for scenario-based software specification of concurrent real-time systems CoRR abs/0802.0212: (2008)

	2008
1		Miriam C. B. Alves, Christine C. Dantas, Nanci N. Arai, Rovedy B. da Silva: A topological formal treatment for scenario-based software specification of concurrent real-time systems CoRR abs/0802.0212: (2008)

Coauthor Index