@INPROCEEDINGS{stark-concur06,
        AUTHOR = "E. W. Stark and R. Cleaveland and S. A. Smolka",
        TITLE = "Probabilistic {I/O} Automata: Theories of Two Equivalences",
        BOOKTITLE = {CONCUR 2006 - Concurrency Theory,
                     17th International Conference,
                     Bonn, Germany, August 27-30, 2006, Proceedings},
        PUBLISHER = "Springer-Verlag",
        SERIES = "Lecture Notes in Computer Science",
        EDITOR = {Christel Baier and Holger Hermanns},
        VOLUME = {??},
        YEAR = {2006},
        ISBN = {??},
        PAGES = "??--??"
}