Sfoglia per Rivista
Mostrati risultati da 1 a 2 di 2
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
2010-01-01 Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Timed Operational Semantics and Well-Formedness of Shape Calculus
2010-01-01 Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes | 1-gen-2010 | Bartocci, Ezio; Corradini, Flavio; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Articolo | |
Timed Operational Semantics and Well-Formedness of Shape Calculus | 1-gen-2010 | Bartocci, Ezio; Cacciagrano, Diletta Romana; DI BERARDINI, Maria Rita; Merelli, Emanuela; Tesei, Luca | Articolo |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile