TY  - RPRT
TI  - A Framework to Handle Linear Temporal Properties in (ω-)Regular Model Checking
AU  - Ahmed Bouajjani
AU  - Axel Legay
AU  - Pierre Wolper
PY  - 2009
UR  - https://arxiv.org/abs/0901.4080
ID  - 0901.4080
ER  -