%0 Journal Article %1 journals/tecs/CazorlaQVCTBBAWHSKLM13 %A Cazorla, Francisco J. %A Quiñones, Eduardo %A Vardanega, Tullio %A Cucu, Liliana %A Triquet, Benoit %A Bernat, Guillem %A Berger, Emery D. %A Abella, Jaume %A Wartel, Franck %A Houston, Michael %A Santinelli, Luca %A Kosmidis, Leonidas %A Lo, Code %A Maxim, Dorin %D 2013 %J ACM Trans. Embed. Comput. Syst. %K %N 2s %P 94:1-94:26 %T PROARTIS: Probabilistically Analyzable Real-Time Systems. %U http://dblp.uni-trier.de/db/journals/tecs/tecs12.html#CazorlaQVCTBBAWHSKLM13 %V 12

@article{journals/tecs/CazorlaQVCTBBAWHSKLM13, added-at = {2023-12-13T07:17:49.000+0100}, author = {Cazorla, Francisco J. and Quiñones, Eduardo and Vardanega, Tullio and Cucu, Liliana and Triquet, Benoit and Bernat, Guillem and Berger, Emery D. and Abella, Jaume and Wartel, Franck and Houston, Michael and Santinelli, Luca and Kosmidis, Leonidas and Lo, Code and Maxim, Dorin}, biburl = {https://www.bibsonomy.org/bibtex/2b0102ab2c56e2562d36f143bcd29d478/admin}, ee = {https://doi.org/10.1145/2465787.2465796}, interhash = {b74f11723fb0c7e7f90dd7a6523c3d5a}, intrahash = {b0102ab2c56e2562d36f143bcd29d478}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {}, number = {2s}, pages = {94:1-94:26}, timestamp = {2023-12-13T07:17:49.000+0100}, title = {PROARTIS: Probabilistically Analyzable Real-Time Systems.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs12.html#CazorlaQVCTBBAWHSKLM13}, volume = 12, year = 2013 }