%0 Conference Paper %1 journals/entcs/Escardo09 %A Escardó, Martín Hötzel %B MFPS %D 2009 %E Abramsky, Samson %E Mislove, Michael W. %E Palamidessi, Catuscia %I Elsevier %K dblp %P 219-242 %T Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. %U http://dblp.uni-trier.de/db/journals/entcs/entcs249.html#Escardo09 %V 249

@inproceedings{journals/entcs/Escardo09, added-at = {2021-02-08T00:00:00.000+0100}, author = {Escardó, Martín Hötzel}, biburl = {https://www.bibsonomy.org/bibtex/2acafd52a3b9ce16f8ed1d2b2ecb52d84/dblp}, booktitle = {MFPS}, crossref = {conf/mfps/2009}, editor = {Abramsky, Samson and Mislove, Michael W. and Palamidessi, Catuscia}, ee = {https://doi.org/10.1016/j.entcs.2009.07.092}, interhash = {cfa2c66db0b406bb840762c2a5622d00}, intrahash = {acafd52a3b9ce16f8ed1d2b2ecb52d84}, keywords = {dblp}, pages = {219-242}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T06:13:09.000+0200}, title = {Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs249.html#Escardo09}, volume = 249, year = 2009 }