Author:
Křetínský Mojmír,Řehák Vojtěch,Strejček Jan
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification on infinite structures. In: Handbook of Process Algebra, pp. 545–623. Elsevier, Amsterdam (2001)
2. Bouajjani, A., Echahed, R., Habermehl, P.: On the verification problem of nonregular properties for nonregular processes. In: LICS 1995. IEEE, Los Alamitos (1995)
3. Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. International Journal on Foundations of Computer Science 14(4), 551–582 (2003)
4. Lecture Notes in Computer Science;A. Bouajjani,2003
5. Büchi, J.R.: Regular canonical systems. Arch. Math. Logik u. Grundlagenforschung 6, 91–111 (1964)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献