@book{46610,
	author = {Gössel, Michael},
	title = {New methods of concurrent checking /},
	publisher = {Springer,},
	year = {2008},
	series = {Frontiers in electronic testing ;},
	address = {Dordrecht ;}
}