%0 Journal Article %1 journals/tse/PaveseBU16 %A Pavese, Esteban %A Braberman, Víctor A. %A Uchitel, Sebastián %D 2016 %J IEEE Trans. Software Eng. %K %N 9 %P 843-865 %T Probabilistic Interface Automata. %U http://dblp.uni-trier.de/db/journals/tse/tse42.html#PaveseBU16 %V 42

@article{journals/tse/PaveseBU16, added-at = {2023-12-14T14:38:15.000+0100}, author = {Pavese, Esteban and Braberman, Víctor A. and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2a5f7a8c35ffe657d320a1776bf81b78b/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2016.2527000}, interhash = {e18991fd49d4fcbd6660954cf8022246}, intrahash = {a5f7a8c35ffe657d320a1776bf81b78b}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 9, pages = {843-865}, timestamp = {2023-12-14T14:38:15.000+0100}, title = {Probabilistic Interface Automata.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse42.html#PaveseBU16}, volume = 42, year = 2016 }