@inproceedings{Fijalkow16a,
  author    = {Nathana{\"{e}}l Fijalkow},
  title     = {Characterisation of an Algebraic Algorithm for Probabilistic Automata},
  booktitle = {STACS},
  year      = {2016},
  url       = {https://doi.org/10.4230/LIPIcs.STACS.2016.34},
  doi       = {10.4230/LIPIcs.STACS.2016.34},
}

%%% 2015

{"_id":"ybC3xppJtFqStT6xB","bibbaseid":"fijalkow-characterisationofanalgebraicalgorithmforprobabilisticautomata-2016","downloads":0,"creationDate":"2017-11-28T18:01:09.126Z","title":"Characterisation of an Algebraic Algorithm for Probabilistic Automata","author_short":["Fijalkow, N."],"year":2016,"bibtype":"inproceedings","biburl":"https://nathanael-fijalkow.github.io/perso.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nathanaël"],"propositions":[],"lastnames":["Fijalkow"],"suffixes":[]}],"title":"Characterisation of an Algebraic Algorithm for Probabilistic Automata","booktitle":"STACS","year":"2016","url":"https://doi.org/10.4230/LIPIcs.STACS.2016.34","doi":"10.4230/LIPIcs.STACS.2016.34","bibtex":"@inproceedings{Fijalkow16a,\n author = {Nathana{\\\"{e}}l Fijalkow},\n title = {Characterisation of an Algebraic Algorithm for Probabilistic Automata},\n booktitle = {STACS},\n year = {2016},\n url = {https://doi.org/10.4230/LIPIcs.STACS.2016.34},\n doi = {10.4230/LIPIcs.STACS.2016.34},\n}\n\n%%% 2015\n\n","author_short":["Fijalkow, N."],"key":"Fijalkow16a","id":"Fijalkow16a","bibbaseid":"fijalkow-characterisationofanalgebraicalgorithmforprobabilisticautomata-2016","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.STACS.2016.34"},"downloads":0,"html":""},"search_terms":["characterisation","algebraic","algorithm","probabilistic","automata","fijalkow"],"keywords":[],"authorIDs":["5a1da46565b42fc01800000f"],"dataSources":["BXc4gcZutK5ptXtTF"]}