Author:
Falkner Andreas,Ryabokon Anna,Schenner Gottfried,Shchekotykhin Kostyantyn
Publisher
Springer International Publishing
Reference18 articles.
1. Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
2. Cabot, J., Clariso, R., Riera, D.: Verification of UML/OCL class diagrams using constraint programming. In: ICST Workshop, pp. 73–80 (2008)
3. Dhungana, D., Falkner, A.A., Haselböck, A.: Generation of conjoint domain models for system-of-systems. In: GPCE, pp. 159–168 (2013)
4. Lecture Notes in Computer Science;T Eiter,2009
5. Falkner, A., Schenner, G., Friedrich, G., Ryabokon, A.: Testing object-oriented configurators with ASP. In: ECAI Workshop on Configuration, pp. 21–26 (2012)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献