Author:
Cimatti Alessandro,Griggio Alberto,Schaafsma Bastiaan Joost,Sebastiani Roberto
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Lecture Notes in Computer Science;A. Albarghouthi,2012
2. Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability Modulo Theories. In: Handbook of Satisfiability, ch. 26. IOS Press (2009)
3. Lecture Notes in Computer Science;D. Beyer,2011
4. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V.Y., Noll, T., Roveri, M.: Safety, Dependability and Performance Analysis of Extended AADL Models. Comput. J. 54(5) (2011)
5. Lecture Notes in Computer Science;R. Bruttomesso,2008
Cited by
282 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献