id: 70354774
dt: a
an: 70354774
au: Ferrante, Alessandro; Napoli, Margherita; Parente, Mimmo
ti: Ctlmodel-checking with graded quantifiers
so: ATVA, 18-32 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-88387-6_4