Dynamic data structures for timed automata acceptance
From MaRDI portal
Publication:2093569
DOI10.1007/s00453-022-01025-8WikidataQ114692101 ScholiaQ114692101MaRDI QIDQ2093569
Michał Pilipczuk, Gabriele Puppis, Cristian Riveros, Filip Mazowiecki, Alejandro Grez
Publication date: 27 October 2022
Published in: Algorithmica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00453-022-01025-8