Model Checking (Contributo in volume (capitolo o saggio))

Type
Label
  • Model Checking (Contributo in volume (capitolo o saggio)) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Alternative label
  • Tingting Hu, Ivan Cibrario Bertolotti (2014)
    Model Checking
    Taylor & Francis, Boca Raton (Stati Uniti d'America) in Digital Avionics Handbook, 2014
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Tingting Hu, Ivan Cibrario Bertolotti (literal)
Pagina inizio
  • 42.1 (literal)
Pagina fine
  • 42.20 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Digital Avionics Handbook (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 20 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR, Institute of Electronics, Computer and Telecommunication Engineering and Polytechnic University of Turin, CNR, Institute of Electronics, Computer and Telecommunication Engineering (literal)
Titolo
  • Model Checking (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-1-4398-6861-4 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Cary R. Spitzer, Uma Ferrel, Thomas Ferrel (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it