Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloAutomated Compositional Proofs for real-Time Systems
Anno di pubblicazione2007
Formato-
Autore/iFuria C., Rossi M., Mandrioli D., Morzenti A.
Affiliazioni autori-
Autori CNR e affiliazioni
  • DINO MANDRIOLI
Lingua/e-
Abstract-
Lingua abstract-
Altro abstract-
Lingua altro abstract-
Pagine da164
Pagine a184
Pagine totali-
RivistaTheoretical computer science
Attiva dal 1975
Editore: Elsevier - Lausanne ;
Paese di pubblicazione: Paesi Bassi
Lingua: inglese
ISSN: 0304-3975
Titolo chiave: Theoretical computer science
Titolo abbreviato: Theor. comp. sci.
Numero volume della rivista376
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 disciplinareInformation Technology & Communications Systems
    Area valutazione CIVRScienze e tecnologie per una società dell'informazione e della comunicazione
    Rivista ISITHEORETICAL COMPUTER SCIENCE [03116J0]