%0 Conference Paper %1 conf/concur/YuenCDS94 %A Yuen, Shoji %A Cleaveland, Rance %A Dayar, Zeynep %A Smolka, Scott A. %B CONCUR %D 1994 %E Jonsson, Bengt %E Parrow, Joachim %I Springer %K dblp %P 497-512 %T Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. %U http://dblp.uni-trier.de/db/conf/concur/concur1994.html#YuenCDS94 %V 836 %@ 3-540-58329-7

@inproceedings{conf/concur/YuenCDS94, added-at = {2017-05-22T00:00:00.000+0200}, author = {Yuen, Shoji and Cleaveland, Rance and Dayar, Zeynep and Smolka, Scott A.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bc1c83d5324ab1eab19fbf35f388cc27/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/1994}, editor = {Jonsson, Bengt and Parrow, Joachim}, ee = {https://doi.org/10.1007/978-3-540-48654-1_36}, interhash = {c25ae9cbbafb26fe75684ffa8bb697c8}, intrahash = {bc1c83d5324ab1eab19fbf35f388cc27}, isbn = {3-540-58329-7}, keywords = {dblp}, pages = {497-512}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:23:24.000+0200}, title = {Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur1994.html#YuenCDS94}, volume = 836, year = 1994 }