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: Yuliya Butkova, Gereon Fox
Journal title: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II
Journal number: 11428
Journal publisher: Springer International Publishing
Published year: 2019
Published pages: 191-208
DOI identifier: 10.1007/978-3-030-17465-1_11
ISBN: 978-3-030-17464-4
