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: Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes
Journal title: Proceedings of FoSSaCS 2020, 23rd International Conference on Foundations of Software Science and Computation Structures
Journal number: 12077
Journal publisher: Springer
Published year: 2020
Published pages: 136-156
ISBN: 9783030452308
