@book{85606,
	author = {Godefroid, Patrice},
	title = {Partial-order methods for the verification of concurrent systems :},
	publisher = {Springer-Verlag,},
	year = {1996},
	address = {Berlin :}
}