Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{fijalkow:LIPIcs:2016:5735, author = {Nathana{\"e}l Fijalkow}, title = {{Characterisation of an Algebraic Algorithm for Probabilistic Automata}}, booktitle = {33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)}, pages = {34:134:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770019}, ISSN = {18688969}, year = {2016}, volume = {47}, editor = {Nicolas Ollinger and Heribert Vollmer}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/5735}, URN = {urn:nbn:de:0030drops57355}, doi = {10.4230/LIPIcs.STACS.2016.34}, annote = {Keywords: Probabilistic Automata, Value 1 Problem, Markov Monoid Algorithm, Algebraic Algorithm, Profinite Theory, Topology in Computer Science} }
Keywords:  Probabilistic Automata, Value 1 Problem, Markov Monoid Algorithm, Algebraic Algorithm, Profinite Theory, Topology in Computer Science  
Collection:  33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016)  
Issue Date:  2016  
Date of publication:  16.02.2016 