@inproceedings
	{
	BMM09,
	author			=	"Alessandro Bianco and Fabio Mogavero and Aniello Murano",
	title				=	"{Graded Computation Tree Logic.}",
	booktitle		=	"24th IEEE Symposium on Logic in Computer Science (LICS'09),
								August 11-14, 2009, Los Angeles, California, USA",
	publisher		=	"IEEE Computer Society",
	issn				=	"1043-6871",
	isbn				=	"978-0-7695-3746-7",
	pages				=	"342-351",
	year				=	"2009"
	}