## José Nuno Oliveira

*Typed Linear Algebra for Weigthed (Probabilistic) Automata*

CIAA, 2012.

@inproceedings{CIAA-2012-Oliveira, author = "José Nuno Oliveira", booktitle = "{Proceedings of the 17th International Conference on Implementation and Application of Automata}", doi = "10.1007/978-3-642-31606-7_5", isbn = "978-3-642-31605-0", pages = "52--65", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Typed Linear Algebra for Weigthed (Probabilistic) Automata}", volume = 7381, year = 2012, }