%0 Journal Article %1 journals/tcs/BreugelMOW05 %A van Breugel, Franck %A Mislove, Michael W. %A Ouaknine, Joël %A Worrell, James %D 2005 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 171-197 %T Domain theory, testing and simulation for labelled Markov processes. %U http://dblp.uni-trier.de/db/journals/tcs/tcs333.html#BreugelMOW05 %V 333

@article{journals/tcs/BreugelMOW05, added-at = {2005-06-16T00:00:00.000+0200}, author = {van Breugel, Franck and Mislove, Michael W. and Ouaknine, Joël and Worrell, James}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e8c5b30e2454197d525dcab1e67a31dd/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2004.10.021}, interhash = {ead9450ee440072394044e998f68d259}, intrahash = {e8c5b30e2454197d525dcab1e67a31dd}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {171-197}, timestamp = {2016-02-02T10:02:49.000+0100}, title = {Domain theory, testing and simulation for labelled Markov processes.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs333.html#BreugelMOW05}, volume = 333, year = 2005 }