Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,General Computer Science
Reference24 articles.
1. Atig, M.F., Habermehl, P.: On Yen’s path logic for Petri nets. Int. J. Found. Comput. Sci. 22(4), 783–799 (2011)
2. Atig, M.F., Bouajjani, A., Qadeer, S.: Context-bounded analysis for concurrent programs with dynamic creation of threads. Log. Methods Comput. Sci. 7(4), 1–48 (2011)
3. Borosh, I., Treybig, L.: Bounds on positive integral solutions of linear diophantine equations. Proc. Am. Math. Soc. 55(2), 299–304 (1976)
4. Demri, S.: On selective unboundedness of VASS. In: Proceedings of the Twelfth International Workshop on Verification of Infinite-State Systems. Electronic Proceedings in Theoretical Computer Science, vol. 39, pp. 1–15. Open Publishing Association (2010)
5. Lecture Notes in Computer Science;J. Desel,1998