%0 Journal Article %1 journals/corr/abs-0802-0212 %A Alves, Miriam C. B. %A Dantas, Christine C. %A Arai, Nanci Naomi %A da Silva, Rovedy B. %D 2008 %J CoRR %K dblp %T A topological formal treatment for scenario-based software specification of concurrent real-time systems %U http://dblp.uni-trier.de/db/journals/corr/corr0802.html#abs-0802-0212 %V abs/0802.0212

@article{journals/corr/abs-0802-0212, added-at = {2016-09-06T00:00:00.000+0200}, author = {Alves, Miriam C. B. and Dantas, Christine C. and Arai, Nanci Naomi and da Silva, Rovedy B.}, biburl = {https://www.bibsonomy.org/bibtex/277610ffc722e4c75545d8ab6c4724017/dblp}, ee = {http://arxiv.org/abs/0802.0212}, interhash = {fc5ed7619e97d3cdab95f6b8232bd3fe}, intrahash = {77610ffc722e4c75545d8ab6c4724017}, journal = {CoRR}, keywords = {dblp}, timestamp = {2016-09-07T11:34:43.000+0200}, title = {A topological formal treatment for scenario-based software specification of concurrent real-time systems}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0802.html#abs-0802-0212}, volume = {abs/0802.0212}, year = 2008 }