Discriminating Traces with Time.

Saeid Tizpaz-Niari, Pavol Cern, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Ashutosh Trivedi

Browse the full TACAS paper archive.