@book{1460,
	author = {Clarke, Edmund. and NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security},
	title = {Verification of infinite-state systems with applications to security /},
	publisher = {IOS Press,},
	year = {c2006.},
	address = {Amsterdam ;},
	note = {Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.}
}