Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma, Alexander Weiss
Journal title: Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Journal number: 11237
Journal publisher: Springer International Publishing
Published year: 2018
Published pages: 43-63
DOI identifier: 10.1007/978-3-030-03769-7_5
ISBN: 978-3-030-03768-0