Publikationen

Scalable Offline Monitoring

AutorBasin, David; Caronni, Germano; Ereth, Sarah; Harvan, Matus; Klaedtke, Felix; Mantel, Heiko
Datum2014
ArtConference Proceedings
KonferenzProceedings of the 14th International Conference on Runtime Verification (RV)
PublisherSpringer
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/103739