Learning realtime one-counter automata

From MaRDI portal
Publication:6535566

DOI10.1007/978-3-030-99524-9_13zbMATH Open1547.68284MaRDI QIDQ6535566FDOQ6535566


Authors: Véronique Bruyère, G. A. Pérez, Gaëtan Staquet Edit this on Wikidata


Publication date: 23 January 2024





Recommendations




Cites Work


Cited In (1)





This page was built for publication: Learning realtime one-counter automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535566)