Discriminating Traces with Time
Reference
2017
Discriminating Traces with Time
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}, }