@prefix rdf: . @prefix prodotto: . prodotto:ID79248 rdf:type prodotto:TIPO1301 . @prefix retescientifica: . prodotto:ID79248 rdf:type retescientifica:ProdottoDellaRicerca . @prefix rdfs: . prodotto:ID79248 rdfs:label "Practical Model Checking of LTL with Past (Contributo in atti di convegno)"@en . @prefix xsd: . @prefix pubblicazioni: . prodotto:ID79248 pubblicazioni:anno "2003-01-01T00:00:00+01:00"^^xsd:gYear . @prefix skos: . prodotto:ID79248 skos:altLabel "
A. MorzentI, M. Pradella, P. San Pietro, P. Spoletini (2003)
Practical Model Checking of LTL with Past
in 1st Int. Workshop on Automated Technology for Verification and Analysis, Taipei
"^^rdf:HTML ; pubblicazioni:autori "A. MorzentI, M. Pradella, P. San Pietro, P. Spoletini"^^xsd:string ; pubblicazioni:titolo "Practical Model Checking of LTL with Past"^^xsd:string . @prefix prodottidellaricerca: . @prefix istituto: . prodotto:ID79248 prodottidellaricerca:prodottoDi istituto:CDS029 . @prefix unitaDiPersonaleInterno: . prodotto:ID79248 pubblicazioni:autoreCNR unitaDiPersonaleInterno:MATRICOLA8847 . istituto:CDS029 prodottidellaricerca:prodotto prodotto:ID79248 . unitaDiPersonaleInterno:MATRICOLA8847 pubblicazioni:autoreCNRDi prodotto:ID79248 .