Author:
Gonen Hila,Kupferman Orna
Publisher
Springer International Publishing
Reference36 articles.
1. Lecture Notes in Computer Science;S Almagor,2013
2. Lecture Notes in Computer Science;S Almagor,2014
3. Lecture Notes in Computer Science;R Alur,2008
4. Lecture Notes in Computer Science;R Armoni,2003
5. Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient detection of vacuity in ACTL formulas. Formal Methods Syst. Des. 18(2), 141–162 (2001)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献