@prefix pubblicazioni: . @prefix unitaDiPersonaleInterno: . @prefix prodotto: . unitaDiPersonaleInterno:MATRICOLA42097 pubblicazioni:autoreCNRDi prodotto:ID100403 . @prefix prodottidellaricerca: . @prefix istituto: . istituto:CDS003 prodottidellaricerca:prodotto prodotto:ID100403 . @prefix rdf: . @prefix retescientifica: . prodotto:ID100403 rdf:type retescientifica:ProdottoDellaRicerca , prodotto:TIPO1302 . @prefix rdfs: . prodotto:ID100403 rdfs:label "Verification of Infinite-State Systems by Specialization of {CLP} Programs (Abstract/Poster in atti di convegno)"@en . @prefix xsd: . prodotto:ID100403 pubblicazioni:anno "2001-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID100403 skos:altLabel "
Fioravanti, F. (2001)
Verification of Infinite-State Systems by Specialization of {CLP} Programs
in 7th International Conference on Constraint Programming, Paphos, Cyprus
"^^rdf:HTML ; pubblicazioni:autori "Fioravanti, F."^^xsd:string ; pubblicazioni:titolo "Verification of Infinite-State Systems by Specialization of {CLP} Programs"^^xsd:string ; prodottidellaricerca:prodottoDi istituto:CDS003 ; pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA42097 .