![]() | ![]() |
2008 | ||
---|---|---|
1 | EE | 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) |
1 | Miriam C. B. Alves | [1] |
2 | Christine C. Dantas | [1] |
3 | Rovedy B. da Silva | [1] |