Reasoning about Actions in Dynamic Linear Time Temporal Logic

Laura GIORDANO, MARTELLI A., SCHWIND C.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno

Lingua originaleItalian
Stato di pubblicazionePubblicato - 1 gen 2000
EventoFAPR 2000 -
Durata: 1 gen 2000 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???FAPR 2000
Periodo1/01/00 → …

Altri file e collegamenti

Cita questo