Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata
From MaRDI portal
Publication:3608486
DOI10.1007/978-3-540-74593-8_20zbMATH Open1211.68235OpenAlexW1509277786MaRDI QIDQ3608486FDOQ3608486
František Mráz, Friedrich Otto, Martin Plátek
Publication date: 5 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74593-8_20
Cited In (3)
This page was built for publication: Hierarchical Relaxations of the Correctness Preserving Property for Restarting Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608486)