## Alberto Bertoni, Giancarlo Mauri, Mauro Torelli

*Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata*

ICALP, 1977.

@inproceedings{ICALP-1977-BertoniMT, author = "Alberto Bertoni and Giancarlo Mauri and Mauro Torelli", booktitle = "{Proceedings of the Fourth Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-08342-1_7", isbn = "3-540-08342-1", pages = "87--94", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Some Recursive Unsolvable Problems Relating to Isolated Cutpoints in Probabilistic Automata}", volume = 52, year = 1977, }