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

Publications Master Template, generated: 11:02, 18 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Supratik Mukhopadhyay and Andreas Podelski
    Constraint Database Models Characterizing Timed Bisimilarity
    In: Proceedings of the 3rd International Symposium on Practical Aspects of Declarative Languages, Las Vegas, USA, March, 8 - March, 11, 2001, 245-258
    [PS: Download: mainsub.ps]