Constraint Database Models Characterizing Timed Bisimilarity.

Supratik Mukhopadhyay, Andreas Podelski

Browse the full PADL paper archive.