## Suzana Andova, Jos C. M. Baeten

*Abstraction in Probabilistic Process Algebra*

TACAS, 2001.

@inproceedings{TACAS-2001-AndovaB, author = "Suzana Andova and Jos C. M. Baeten", booktitle = "{Proceedings of the Seventh International Conference on Tools and Algorithms for the Construction and Analysis of Systems}", doi = "10.1007/3-540-45319-9_15", isbn = "3-540-41865-2", pages = "204--219", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Abstraction in Probabilistic Process Algebra}", volume = 2031, year = 2001, }