TY  - RPRT
TI  - On the Relationship between LTL Normal Forms and Buechi Automata
AU  - Jianwen Li
AU  - Geguang Pu
AU  - Lijun Zhang
AU  - Zheng Wang
AU  - Jifeng He
AU  - Kim G. Larsen
PY  - 2012
UR  - https://arxiv.org/abs/1207.3866
ID  - 1207.3866
ER  -