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: Ulrich Berger, Anton Setzer
Journal title: Coalgebraic Methods in Computer Science - 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers
Journal number: 11202
Journal publisher: Springer International Publishing
Published year: 2018
Published pages: 34-55
DOI identifier: 10.1007/978-3-030-00389-0_4
ISBN: 978-3-030-00388-3
