Publikationen
Scalable Offline Monitoring
Autor | Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matus; Klaedtke, Felix; Mantel, Heiko |
---|---|
Datum | 2014 |
Art | Conference Proceedings |
Konferenz | Proceedings of the 14th International Conference on Runtime Verification (RV) |
Publisher | Springer |
Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/103739 |