%0 Conference Paper %1 conf/concur/0001HL16 %A Bertrand, Nathalie %A Haddad, Serge %A Lefaucheux, Engel %B CONCUR %D 2016 %E Desharnais, Josée %E Jagadeesan, Radha %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 37:1-37:15 %T Diagnosis in Infinite-State Probabilistic Systems. %U http://dblp.uni-trier.de/db/conf/concur/concur2016.html#0001HL16 %V 59 %@ 978-3-95977-017-0

@inproceedings{conf/concur/0001HL16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Bertrand, Nathalie and Haddad, Serge and Lefaucheux, Engel}, biburl = {https://www.bibsonomy.org/bibtex/234120cdffe826ad36134faa57d14baae/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2016}, editor = {Desharnais, Josée and Jagadeesan, Radha}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.37}, interhash = {2bc6000f5745f3e2c46ee044a659ac71}, intrahash = {34120cdffe826ad36134faa57d14baae}, isbn = {978-3-95977-017-0}, keywords = {dblp}, pages = {37:1-37:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:49:52.000+0100}, title = {Diagnosis in Infinite-State Probabilistic Systems.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2016.html#0001HL16}, volume = 59, year = 2016 }