%0 Conference Paper %1 conf/concur/DahlqvistDG16 %A Dahlqvist, Fredrik %A Danos, Vincent %A Garnier, Ilias %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 23:1-23:15 %T Robustly Parameterised Higher-Order Probabilistic Models. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#DahlqvistDG16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/DahlqvistDG16, added-at = {2023-12-13T01:15:51.000+0100}, author = {Dahlqvist, Fredrik and Danos, Vincent and Garnier, Ilias}, biburl = {https://www.bibsonomy.org/bibtex/202997a1f49b98db103519e83f75ba04a/admin}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.23}, interhash = {6f0e80544a21f94a28ff3a0247ac13f4}, intrahash = {02997a1f49b98db103519e83f75ba04a}, isbn = {978-3-95977-017-0}, keywords = {}, pages = {23:1-23:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-13T01:15:51.000+0100}, title = {Robustly Parameterised Higher-Order Probabilistic Models.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#DahlqvistDG16}, volume = 59, year = 2016 }