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