Publications
Scalable offline monitoring
| Author | Basin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matus; Klaedtke, Felix; Mantel, Heiko |
|---|---|
| Date | 2014 |
| Type | Conference Proceedings |
| Conference | 5th International Conference, RV 2014 |
| Isbn | 978-3-319-11163-6 ; 978-3-319-11164-3 |
| Serie | Lecture notes in computer science |
| In | Runtime Verification : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, p.31-47 |
| Publisher | Springer |
| Url | https://tubiblio.ulb.tu-darmstadt.de/id/eprint/103739 |
