@book{232036,
	author = {NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security and Clarke, Edmund. and ProQuest (Firm)},
	title = {Verification of infinite-state systems with applications to security},
	publisher = {IOS Press,},
	year = {c2006.},
	series = {NATO security through science series. D, Information and communication security ;},
	address = {Amsterdam ;},
	note = {Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005.},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=265966}
}