![]() | ![]() |
| 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) | |
| 1 | Miriam C. B. Alves | [1] |
| 2 | Nanci N. Arai | [1] |
| 3 | Rovedy B. da Silva | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page