%0 Conference Paper %1 conf/eclipse/CavatortaCFBGKSO06 %A Cavatorta, Lucía %A de Caso, Guido %A Ferrari, Andrés %A Braberman, Víctor A. %A Garbervetsky, Diego %A Kicillof, Nicolas %A Schapachnik, Fernando %A Olivero, Alfredo %B ETX %D 2006 %E Burke, Michael G. %E Orso, Alessandro %E Robillard, Martin P. %I ACM %K dblp %P 35-39 %T A toolsuite for the verification of real-time systems in Eclipse. %U http://dblp.uni-trier.de/db/conf/eclipse/eclipse2006.html#CavatortaCFBGKSO06 %@ 1-59593-621-1

@inproceedings{conf/eclipse/CavatortaCFBGKSO06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Cavatorta, Lucía and de Caso, Guido and Ferrari, Andrés and Braberman, Víctor A. and Garbervetsky, Diego and Kicillof, Nicolas and Schapachnik, Fernando and Olivero, Alfredo}, biburl = {https://www.bibsonomy.org/bibtex/210d3c6cad3131ad5e598d83704c78775/dblp}, booktitle = {ETX}, crossref = {conf/eclipse/2006}, editor = {Burke, Michael G. and Orso, Alessandro and Robillard, Martin P.}, ee = {https://doi.org/10.1145/1188835.1188843}, interhash = {17864f7171dda0454e7ea73584b8acb0}, intrahash = {10d3c6cad3131ad5e598d83704c78775}, isbn = {1-59593-621-1}, keywords = {dblp}, pages = {35-39}, publisher = {ACM}, timestamp = {2018-11-07T15:49:09.000+0100}, title = {A toolsuite for the verification of real-time systems in Eclipse.}, url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2006.html#CavatortaCFBGKSO06}, year = 2006 }