TY  - RPRT
TI  - Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs
AU  - Raimondi, Franco
AU  - Lomunscio, Alessio
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20050137709
ID  - 20050137709
ER  -