Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Abdulla, P.A., Jonsson, B.: Undecidable Verification Problems for Programs with Unreliable Channels. Inf. Comput. 130(1), 71–90 (1996)
2. Babai, L., Beals, R., Cai, J., Ivanyos, G., Luks, E.M.: Multiplicative Equations Over Commuting Matrices. In: ACM-SIAM Symposium on Discrete Algorithms, pp. 28–30 (1996)
3. Lecture Notes in Computer Science;P. Bell,2006
4. Lecture Notes in Computer Science;P. Bell,2007
5. Blondel, V., Canterini, V.: Undecidable Problems for Probabilistic Automata of Fixed Dimensions. Theory Comput. Syst. 36(3), 231–245 (2003)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献