@INPROCEEDINGS{HS99,
        AUTHOR       = {H. Hermanns and M. Siegle},
        TITLE        = "{Bisimulation Algorithms for Stochastic
               Process Algebras and their BDD-based Implementation}",
        BOOKTITLE    = {ARTS'99, 5th Int. AMAST Workshop on Real-Time and
               Probabilistic Systems},
        YEAR         = {1999},
        editor       = {J.-P. Katoen},
        pages        = {144-264},
        volume       ="1601",
        series       ="Lecture Notes in Computer Science",
        publisher    = {Springer}
        }