@Inproceedings{EPTCS14.1, author = {Ciardo, Gianfranco and Zhao, Yang and Jin, Xiaoqing}, year = {2009}, title = {Parallel symbolic state-space exploration is difficult, but what is the alternative?}, editor = {Brim, Lubos and van de Pol, Jaco}, booktitle = {{\rm Proceedings 8th International Workshop on} Parallel and Distributed Methods in verifiCation, {\rm Eindhoven, The Netherlands, 4th November 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {14}, publisher = {Open Publishing Association}, pages = {1-17}, doi = {10.4204/EPTCS.14.1}, }