Author:
Ábrahám Erika,Schubert Tobias,Becker Bernd,Fränzle Martin,Herde Christian
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. AVACS: Automatic Verification and Analysis of Complex Systems.
http://www.avacs.org
2. Lecture Notes in Computer Science;E. Ábrahám,2005
3. Alur, R., Courcoubetis, C., Henzinger, T., Ho, P., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 3–34 (1995)
4. Lecture Notes in Computer Science,2004
5. Lecture Notes in Artificial Intelligence;G. Audemard,2002
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献