Publication

[HermannsZKM20] LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020 Hermanns, H.; Zhang, L.; Kobayashi, N. and Miller, D., ed. ACM, 2020.
Downloads: bib