TY  - RPRT
TI  - Reasoning about real-time systems with temporal interval logic constraints on multi-state automata
AU  - Gabrielian, Armen
PY  - 1991
UR  - https://ntrs.nasa.gov/citations/19910011374
ID  - 19910011374
ER  -