Reference

2017
Discriminating Traces with Time
Saeid Tizpaz Niari, Pavol Černý, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Ashutosh Trivedi
TACAS 2017: International Conference on Tools and Algorithms for the Construction and Analysis of Systems

BibTeX

@string{TACAS = "International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}
@inproceedings{discriminator-tacas17,
  author = {Saeid Tizpaz Niari and Pavol Černý and Bor-Yuh Evan Chang and Sriram Sankaranarayanan and Ashutosh Trivedi},
  title = {Discriminating Traces with Time},
  booktitle = TACAS,
  year = {2017},
  pages = {21-37},
  
}