TY  - RPRT
TI  - An Asynchronous Automata Approach to the Semantics of Temporal Logic
AU  - Serban E. Vlad
PY  - 2001
UR  - https://arxiv.org/abs/cs/0110061
ID  - cs/0110061
ER  -