TY  - BOOK
AU  - Tabib, Nacer.
TI  - State Space Generation Framework Based on Binary Decision Diagram for Distributed Explicit
PB  - Computer Science and Information Technology
KW  - INFORMATION TECHNOLOGY
UR  - http://airccse.org/V6N48.html
ER  -