@inproceedings{hu-casas-yang-reason03,
	author = "Alan J. Hu and Jeremy Casas and Jin Yang",
	title = "Reasoning about {GSTE} Assertion Graphs",
	booktitle = "Correct Hardware Design and Verification Methods:
		12th {IFIP} {WG 10.5} Advanced Research Working Conference
		{(CHARME'03)}",
	publisher = "Springer",
	year = 2003,
	pages = "170--184",
	note = "Lecture Notes in Computer Science Vol.~2860",
}