scientific article; zbMATH DE number 7730630
From MaRDI portal
Publication:6134272
DOI10.4230/lipics.concur.2021.28arXiv2104.10634MaRDI QIDQ6134272
Simon Jantsch, Christel Baier, Toghrul Karimov, James Worrell, Engel Lefaucheux, Joël Ouaknine, Florian Luca, Florian Funke, David Purser, Markus A. Whiteland
Publication date: 21 August 2023
Full work available at URL: https://arxiv.org/abs/2104.10634
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
This page was built for publication: