@book{300047,
	author = {Tabib, Nacer.},
	title = {State Space Generation Framework Based on Binary Decision Diagram for Distributed Explicit},
	publisher = {Computer Science and Information Technology},
	url = {http://airccse.org/V6N48.html}
}