http://www.cnr.it/ontology/cnr/individuo/prodotto/ID227150
Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni)
- Type
- Label
- Assisting the design of an industrial groupware system by model checking (Altre pubblicazioni) (literal)
- Anno
- 2008-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Ter Beek M. H.; Gnesi S.; Latella D.; Massink M.; Sebastianis M.; Trentanni G. (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
- Articolo di Divulgazione Scientifica (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- CNR-ISTI, CNR-ISTI, CNR-ISTI, CNR-ISTI, think3, CNR-ISTI (literal)
- Titolo
- Assisting the design of an industrial groupware system by model checking (literal)
- Prodotto di
- Autore CNR
Incoming links:
- Autore CNR di
- Prodotto