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: Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Journal title: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Journal number: 12310
Journal publisher: Springer International Publishing
Published year: 2020
Published pages: 284-302
DOI identifier: 10.1007/978-3-030-58768-0_16
ISBN: 978-3-030-58767-3
