TY  - RPRT
TI  - Discriminating Traces with Time
AU  - Saeid Tizpaz-Niari
AU  - Pavol Cerny
AU  - Bor-Yuh Evan Chang
AU  - Sriram Sankaranarayanan
AU  - Ashutosh Trivedi
PY  - 2017
UR  - https://arxiv.org/abs/1702.07103
ID  - 1702.07103
ER  -