TY  - RPRT
TI  - A Simplification of a Real-Time Verification Problem
AU  - Indranil Saha
AU  - Janardan Misra
AU  - Suman Roy
PY  - 2010
DO  - 10.1007/978-3-540-75596-8_21
UR  - https://arxiv.org/abs/1008.1417
ID  - 1008.1417
ER  -