"Probabilistic Interface Automata" (2016) Pavese, E.; Braberman, V.; Uchitel, S. IEEE Transactions on Software Engineering. 42(9):843-865
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (+54 9 11) 5285-7400