@inproceedings{gandalf2011a,
	Address = {Minori, Amalfi Coast, Italy},
	Author = {Davide Bresolin and Marta Capiluppi},
	Booktitle = {Proc. of GandALF 2011: Second International Symposium on Games, Automata, Logics and Formal Verification},
	Month = jun,
	Title = {A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems},
	Year = {2011}
}