@inproceedings{ICECCS.2008,
 author = {Jun Sun and Yang Liu and Jin Song Dong and Jing Sun},
 title = {{Bounded Model Checking of Compositional Processes}},
 booktitle = {TASE '08: Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering},
 month = {June},
 year = {2008},
 location = {Nanjing, China},
 isbn = {978-0-7695-3249-3},	
 pages = {23-30},
 doi = {http://doi.ieeecomputersociety.org/10.1109/TASE.2008.12},
 publisher = {IEEE Computer Society},
 address = {Los Alamitos, CA, USA}
}