Author:
Zeljić Aleksandar,Wintersteiger Christoph M.,Rümmer Philipp
Publisher
Springer International Publishing
Reference35 articles.
1. Lecture Notes in Computer Science;S Bardin,2010
2. Lecture Notes in Computer Science;C Barrett,2011
3. Lecture Notes in Computer Science;J Berdine,2011
4. Lecture Notes in Computer Science;J Berdine,2012
5. Biere, A., Cimatti, A., Clarke, E.M., Fujita, M., Zhu, Y.: Symbolic model checking using SAT procedures instead of BDDs. In: DAC (1999)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献