RiCeRcA2008
| Selection | File type icon | File name | Description | Size | Revision | Time | User |
|---|---|---|---|---|---|---|---|
| Ċ | View Download |
Abstract Laurendi | 11k | v. 1 | Mar 6, 2009, 8:45 AM | Marco Gavanelli | |
| Ċ | View Download |
Abstract Pozzato | 39k | v. 2 | Mar 6, 2009, 9:21 AM | Marco Gavanelli | |
| Ċ | View Download |
Presentazione Mosca Hybrid modal model checking | 1650k | v. 1 | Mar 26, 2009, 8:50 AM | Marco Gavanelli | |
| Ċ | View Download |
Mosca-Ontology | 2260k | v. 1 | Mar 26, 2009, 8:43 AM | Marco Gavanelli | |
| Ċ | View Download |
Abstract Parisini | 46k | v. 1 | Mar 6, 2009, 9:27 AM | Marco Gavanelli | |
| Ċ | View Download |
137k | v. 1 | Mar 9, 2009, 8:19 AM | Marco Gavanelli | ||
| Ċ | View Download |
15k | v. 1 | Mar 11, 2009, 10:50 AM | Marco Gavanelli | ||
| Ċ | View Download |
Mosca-Bernini Abstract | 49k | v. 1 | Mar 6, 2009, 9:57 AM | Marco Gavanelli | |
| Ċ | View Download |
286k | v. 1 | Mar 11, 2009, 10:23 AM | Marco Gavanelli | ||
| Ċ | View Download |
79k | v. 1 | Mar 11, 2009, 10:37 AM | Marco Gavanelli |