Component-aware Input-Output Conformance

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: Alexander Graf-Brill, Holger Hermanns

Journal title: Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Journal number: 11535

Journal publisher: Springer International Publishing

Published year: 2019

Published pages: 111-128

DOI identifier: 10.1007/978-3-030-21759-4_7

ISBN: 978-3-030-21758-7