%0 Journal Article %1 journals/iandc/DesharnaisEP02 %A Desharnais, Josée %A Edalat, Abbas %A Panangaden, Prakash %D 2002 %J Inf. Comput. %K dblp %N 2 %P 163-193 %T Bisimulation for Labelled Markov Processes. %U http://dblp.uni-trier.de/db/journals/iandc/iandc179.html#DesharnaisEP02 %V 179

@article{journals/iandc/DesharnaisEP02, added-at = {2021-02-12T00:00:00.000+0100}, author = {Desharnais, Josée and Edalat, Abbas and Panangaden, Prakash}, biburl = {https://www.bibsonomy.org/bibtex/285555d7cac43d811a9902757d91ebd2f/dblp}, ee = {https://doi.org/10.1006/inco.2001.2962}, interhash = {84159dc2646c35c1643bcc80aefde62d}, intrahash = {85555d7cac43d811a9902757d91ebd2f}, journal = {Inf. Comput.}, keywords = {dblp}, number = 2, pages = {163-193}, timestamp = {2024-04-09T06:10:48.000+0200}, title = {Bisimulation for Labelled Markov Processes.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc179.html#DesharnaisEP02}, volume = 179, year = 2002 }