@inproceedings{feng-hu-yang-aspdac05,
	author = "Xiushan Feng and Alan J. Hu and Jin Yang",
	title = "Partitioned Model Checking from Software Specifications",
	booktitle = "Asia South Pacific Design Automation Conference",
	publisher = "IEEE Press",
	year = 2005,
	pages = "583--587"
}