dblp.uni-trier.dewww.uni-trier.de

Rovedy B. da Silva

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
1EEMiriam 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

1Miriam C. B. Alves [1]
2Nanci N. Arai [1]
3Christine C. Dantas [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)