[TSE'16] Probabilistic interface automata.

Esteban Pavese, Victor A. Braberman, and Sebastian Uchitel. "Probabilistic interface automata". IEEE Transactions on Software Egnineering, In Press, 2016.

Undefined