Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloComments on Temporal Logics for Real-Time System Specification
Anno di pubblicazione2009
Formato-
Autore/iC. A. Furia, M. Pradella, M. Rossi
Affiliazioni autori-
Autori CNR e affiliazioni
  • MATTEO PRADELLA
Lingua/e-
Abstract-
Lingua abstract-
Altro abstract-
Lingua altro abstract-
Pagine da-
Pagine a-
Pagine totali-
Rivista-
Numero volume della rivista41
Fascicolo della rivista-
DOI-
Verificato da referee-
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)-
Parole chiave-
Link (URL, URI)-
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR
    Progetti Europei-
    Allegati

      Dati storici
      I dati storici non sono modificabili, sono stati ereditati da altri sistemi (es. Gestione Istituti, PUMA, ...) e hanno solo valore storico.
      Area disciplinareComputer Science & Engineering
      Area valutazione CIVRIngegneria industriale e informatica
      Rivista ISICOMPUTING SURVEYS [30273J0]