Nathanaël Fijalkow. Characterisation of an Algebraic Algorithm for Probabilistic Automata. In Nicolas Ollinger, Heribert Vollmer, editors, 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France. Volume 47 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
@inproceedings{Fijalkow16-0, title = {Characterisation of an Algebraic Algorithm for Probabilistic Automata}, author = {Nathanaël Fijalkow}, year = {2016}, doi = {10.4230/LIPIcs.STACS.2016.34}, url = {http://dx.doi.org/10.4230/LIPIcs.STACS.2016.34}, researchr = {https://researchr.org/publication/Fijalkow16-0}, cites = {0}, citedby = {0}, booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France}, editor = {Nicolas Ollinger and Heribert Vollmer}, volume = {47}, series = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, isbn = {978-3-95977-001-9}, }