Introduction: Special issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, Italy, July 11-12, 1999 - Selected papers. Stefania Gnesi, Diego Latella (eds.). (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type

• Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali (Classe)
• Prodotto della ricerca (Classe)

Label

• Introduction: Special issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, Italy, July 11-12, 1999 - Selected papers. Stefania Gnesi, Diego Latella (eds.). (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)

Anno

• 2001-01-01T00:00:00+01:00 (literal)

Alternative label

• Gnesi S.; Latella D. (2001)
  Introduction: Special issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, Italy, July 11-12, 1999 - Selected papers. Stefania Gnesi, Diego Latella (eds.).
  
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Gnesi S.; Latella D. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

• In: Formal Methods in System Design. Introduction, vol. 19, n. 2 (2001), 119-120. Kluwer, 2001. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto

• Altro (literal)

Titolo

• Introduction: Special issue on the Fourth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Trento, Italy, July 11-12, 1999 - Selected papers. Stefania Gnesi, Diego Latella (eds.). (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)