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

Publications Master Template, generated: 11:36, 23 September 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Abdelwaheb Ayari and David A. Basin
    Generic System Support for Deductive Program Development
    In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, Passau, Germany, March, 1996, 313-328
  2. Andreas Podelski and Andrey Rybalchenko
    A Complete Method for the Synthesis of Linear Ranking Functions
    In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, Venice, Italy, 2004, 239-251