@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID153714 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID153714 . @prefix unitaDiPersonaleEsterno: . unitaDiPersonaleEsterno:ID16294 pubblicazioni:autoreCNRDi prodotto:ID153714 . unitaDiPersonaleEsterno:ID1333 pubblicazioni:autoreCNRDi prodotto:ID153714 . unitaDiPersonaleEsterno:ID1288 pubblicazioni:autoreCNRDi prodotto:ID153714 . @prefix modulo: . modulo:ID2271 prodottidellaricerca:prodotto prodotto:ID153714 . @prefix rdf: . prodotto:ID153714 rdf:type prodotto:TIPO1714 . @prefix retescientifica: . prodotto:ID153714 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID153714 rdfs:label "Generalization strategies for the verification of infinite state systems (Rapporti progetti di ricerca)"@en . @prefix xsd: . prodotto:ID153714 pubblicazioni:anno "2010-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID153714 skos:altLabel "
Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V. (2010)
Generalization strategies for the verification of infinite state systems
"^^rdf:HTML ; pubblicazioni:autori "Fioravanti, F.; Pettorossi, A.; Proietti, M.; Senni, V."^^xsd:string ; pubblicazioni:note "Rapporto di ricerca IASI-CNR n.10-21"^^xsd:string ; pubblicazioni:supporto "Altro"^^xsd:string ; pubblicazioni:titolo "Generalization strategies for the verification of infinite state systems"^^xsd:string ; prodottidellaricerca:prodottoDi modulo:ID6980 , istituto:CDS003 , modulo:ID2271 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 , unitaDiPersonaleEsterno:ID1333 , unitaDiPersonaleEsterno:ID16294 , unitaDiPersonaleEsterno:ID1288 . modulo:ID6980 prodottidellaricerca:prodotto prodotto:ID153714 .