@inproceedings{dblp-conf-tacas-tizpaz-niariccs17,
  title = {Discriminating Traces with Time},
  author = {Saeid Tizpaz-Niari and Pavol Cerný and Bor-Yuh Evan Chang and Sriram Sankaranarayanan and Ashutosh Trivedi},
  year = {2017},
  url = {https://dblp.org/rec/conf/tacas/Tizpaz-NiariCCS17},
  booktitle = {TACAS (2) 2017}
}