Nanci N. Arai

	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	Christine C. Dantas	[1]
3	Rovedy B. da Silva	[1]