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

MPI-INF RG1 Publications, generated: 22:16, 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]