Distributed Finite-State Runtime Monitoring with Aggregated Events

Falzon, Kevin; Bodden, Eric; Purandare, Rahul

doi:10.1007/978-3-642-40787-1_6

Distributed Finite-State Runtime Monitoring with Aggregated Events (bibtex)

@InProceedings{rv13efficient,
year={2013},
isbn={978-3-642-40786-4},
booktitle={Runtime Verification},
volume={8174},
series={Lecture Notes in Computer Science},
editor={Legay, Axel and Bensalem, Saddek},
doi={10.1007/978-3-642-40787-1_6},
title={Distributed Finite-State Runtime Monitoring with Aggregated Events},
url = {https://www.bodden.de/pubs/fbp13distributed.pdf},
publisher={Springer Berlin Heidelberg},
author={Falzon, Kevin and Eric Bodden and Purandare, Rahul},
pages={94--111},
	annote = {an VG Wort gemeldet},
}