Christine C. Dantas

	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

1	Miriam C. B. Alves	[1]
2	Nanci N. Arai	[1]
3	Rovedy B. da Silva	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page