TY  - RPRT
TI  - Formalizing Timing Diagram Requirements in Discrete Duration Calulus
AU  - Raj Mohan Matteplackel
AU  - Paritosh K. Pandya
AU  - Amol Wakankar
PY  - 2017
UR  - https://arxiv.org/abs/1705.04510
ID  - 1705.04510
ER  -