Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Curatela)

Type
Label
  • Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (Curatela) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Alternative label
  • Margaria T; Massink M (2005)
    Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatori
  • Margaria T; Massink M (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Potsdam Univ.; CNR-ISTI (literal)
Titolo
  • Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#tipoDiCuratela
  • Libro (literal)
Editore
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
Editore di
data.CNR.it