TY  - RPRT
TI  - PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
AU  - Samir Chouali
AU  - Jacques Julliand
AU  - Pierre-Alain Masson
AU  - Françoise Bellegarde
PY  - 2006
DO  - 10.1145/1067915.1067918
UR  - https://arxiv.org/abs/cs/0602040
ID  - cs/0602040
ER  -