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: Christel Baier, Clemens Dubslaff, Holger Hermanns, Michaela Klauck, Sascha Klüppelholz, Maximilian A. Köhl
Journal title: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Journal number: 12476
Journal publisher: Springer International Publishing
Published year: 2020
Published pages: 240-261
DOI identifier: 10.1007/978-3-030-61362-4_13
ISBN: 978-3-030-61361-7
