ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. | 0 | 0.34 | 2018 |
EPTL - A temporal logic for weakly consistent systems. | 0 | 0.34 | 2017 |
Plausible Grenzen ziehen - routingbasierte Erstellung von Gemeindeteilflächen in Bayern. | 0 | 0.34 | 2016 |