%0 Conference Paper %1 conf/fossacs/BaierS00 %A Baier, Christel %A Stoelinga, Mariëlle %B FoSSaCS %D 2000 %E Tiuryn, Jerzy %I Springer %K dblp %P 1-16 %T Norm Functions for Probabilistic Bisimulations with Delays. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2000.html#BaierS00 %V 1784 %@ 3-540-67257-5

@inproceedings{conf/fossacs/BaierS00, added-at = {2017-05-23T00:00:00.000+0200}, author = {Baier, Christel and Stoelinga, Mariëlle}, biburl = {https://www.bibsonomy.org/bibtex/2679a7fc8dea4d3106a6fc835f67c8605/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2000}, editor = {Tiuryn, Jerzy}, ee = {https://doi.org/10.1007/3-540-46432-8_1}, interhash = {beeaac5d7d4d6ca6689a4591c98cdf25}, intrahash = {679a7fc8dea4d3106a6fc835f67c8605}, isbn = {3-540-67257-5}, keywords = {dblp}, pages = {1-16}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:33:28.000+0200}, title = {Norm Functions for Probabilistic Bisimulations with Delays.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2000.html#BaierS00}, volume = 1784, year = 2000 }