Constraint-Based Monitoring of Hyperproperties

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: Christopher Hahn, Marvin Stenger, Leander Tentrup

Journal title: Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Macau, China, April 14-17, 2019, Proceedings, Part III

Journal number: 11441

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 115-131

DOI identifier: 10.1007/978-3-030-17465-1_7

ISBN: 978-3-030-16141-5