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

Publications Master Template, generated: 13:54, 20 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Giorgio Delzanno and Andreas Podelski
    Model Checking in CLP
    In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), Amsterdam, The Netherlands, March, 22nd-26th, 1999, 223-239