Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 11:46, 21 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, and Patrick Wischnewski
    Automated Verification of Interactive Rule-Based Configuration Systems
    In: 2013 28th IEEE/ACM International Conference on Automated Software Engineering, Palo Alto, USA, 2013, 551-561
    [PDF: Download: paper.pdf]