Author:
Liu Jing,Basu Samik,Lutz Robyn R.
Publisher
Springer Science and Business Media LLC
Reference49 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17(3), 507–535 (1995). http://doi.acm.org/10.1145/203095.201069
2. Basu, S., Ramakrishnan, C.R.: Compositional analysis for verification of parameterized systems. Theor. Comput. Sci. 354(2), 211–229 (2006). doi: 10.1016/j.tcs.2005.11.016
3. Batory, D., Benavides, D., Ruiz-Cortes, A.: Automated analysis of feature models: challenges ahead. Commun. ACM 49(12), 45–47 (2006). http://doi.acm.org/10.1145/1183236.1183264
4. Berezin, S., Campos, S., Clarke, E.M.: Compositional reasoning in model checking. In: Proc. COMPOS, pp. 81–102. Springer, Berlin (1998)
5. Blundell, C., Fisler, K., Krishnamurthi, S., Hentenryck, P.V.: A constraint-based approach to open feature verification. Tech. Rep. CS-03-07, Department of Computer Science, Brown University (2003)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献