|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A spatio-temporal framework for managing archeological data |
Belussi, Alberto |
2017 |
80 | 3-4 |
p. 175-218 |
article |
|
| 2 | Bounded variability of metric temporal logic |
Furia, Carlo A. |
2016 |
80 | 3-4 |
p. 283-316 |
article |
|
| 3 | Erratum to: The RABTree and RAB− Tree: lean index structures for snapshot access in transaction-time databases |
Grandi, Fabio |
2016 |
80 | 3-4 |
p. 247 |
article |
|
| 4 | Guest Editorial: Temporal representation and reasoning |
Combi, Carlo |
2017 |
80 | 3-4 |
p. 171-173 |
article |
|
| 5 | Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems |
Sánchez, Alejandro |
2016 |
80 | 3-4 |
p. 249-282 |
article |
|
| 6 | The RABTree and RAB−Tree: lean index structures for snapshot access in transaction-time databases |
Grandi, Fabio |
2016 |
80 | 3-4 |
p. 219-245 |
article |
|
| 7 | To be fair, use bundles |
McCabe-Dansted, John |
2017 |
80 | 3-4 |
p. 317-364 |
article |
7 results found