http://www.cnr.it/ontology/cnr/individuo/prodotto/ID190083
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
- 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
- Editore
- Prodotto di
- Autore CNR
Incoming links:
- Autore CNR di
- Prodotto
- Editore di