Author:
Dax Christian,Klaedtke Felix
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. IEEE standard for property specification language (PSL). IEEE Std. 1850TM (October 2005)
2. Lecture Notes in Computer Science;B. Banieqbal,1989
3. Bloem, R., Cimatti, A., Pill, I., Roveri, M.: Symbolic implementation of alternating automata. Int. J. Found. Comput. Sci. 18 (2007)
4. Boigelot, B., Jodogne, S., Wolper, P.: An effective decision procedure for linear arithmetic over the integers and reals. ACM Trans. Comput. Log. 6 (2005)
5. Bustan, D., Fisman, D., Havlicek, J.: Automata construction for PSL, tech. report, Computer Science and Applied Mathematics, The Weizmann Institute of Science, Israel (2005)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献