Christine C. Dantas

Publication Activity (10 Years)

Years Active: 2008-2008
Publications (10 Years): 0

Publications

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