TY  - RPRT
TI  - Checking Properties within Fairness and Behavior Abstractions
AU  - Ulrich Ultes-Nitsche
AU  - Pierre Wolper
PY  - 2001
UR  - https://arxiv.org/abs/cs/0101017
ID  - cs/0101017
ER  -