%0 Conference Paper %1 conf/forte/NunezD08 %A Núñez, Manuel %A Díaz, Luis Fernando Llana %B FORTE %D 2008 %E Suzuki, Kenji %E Higashino, Teruo %E Yasumoto, Keiichi %E El-Fakih, Khaled %I Springer %K dblp %P 267-282 %T A Hierarchy of Equivalences for Probabilistic Processes. %U http://dblp.uni-trier.de/db/conf/forte/forte2008.html#NunezD08 %V 5048 %@ 978-3-540-68854-9

@inproceedings{conf/forte/NunezD08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Núñez, Manuel and Díaz, Luis Fernando Llana}, biburl = {https://www.bibsonomy.org/bibtex/2079918e79f72ad0c10dc4ba03dc43192/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2008}, editor = {Suzuki, Kenji and Higashino, Teruo and Yasumoto, Keiichi and El-Fakih, Khaled}, ee = {https://doi.org/10.1007/978-3-540-68855-6_17}, interhash = {967c038462d386db3f0668256bb87e84}, intrahash = {079918e79f72ad0c10dc4ba03dc43192}, isbn = {978-3-540-68854-9}, keywords = {dblp}, pages = {267-282}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T11:59:16.000+0200}, title = {A Hierarchy of Equivalences for Probabilistic Processes.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2008.html#NunezD08}, volume = 5048, year = 2008 }