Checking Deadlock-Freedom of Parametric Component-Based Systems

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: Marius Bozga, Radu Iosif, Joseph Sifakis

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: 3-20

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

ISBN: 978-3-030-17464-4