Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc080209, author = {Eugene W. Stark}, title = {On Behaviour Equivalence for Probabilistic I/O Automata and its Relationship to Probabilistic Bisimulation}, journal = jalc, year = 2003, volume = 8, number = 2, pages = {361--395} }