Author:
Caniart Nicolas,Fleury Emmanuel,Leroux Jérôme,Zeitoun Marc
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;S. Bardin,2005
2. Beyer, D., Henzinger, T.A., Majumdar, R., Rybalchenko, A.: Path Invariants. In: Proc. of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 300–309. ACM Press, New York (2007)
3. Boigelot, B.: Symbolic Methods for Exploring Infinite State Spaces. PhD thesis, Faculté des Sciences Appliquées de l’Université de Liège (1999)
4. Boigelot, B.: On Iterating Linear Transformations Over Recognizable Sets of Integers. Theoret. Comput. Sci. 309(1-3), 413–468 (2003)
5. Lecture Notes in Computer Science;A. Bouajjani,2000
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献