Reachability Analysis with State-Compatible Automata
From MaRDI portal
Publication:5404926
DOI10.1007/978-3-319-04921-2_28zbMath1362.68136OpenAlexW92427928MaRDI QIDQ5404926
Bertram Felgenhauer, René Thiemann
Publication date: 31 March 2014
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-04921-2_28
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Unnamed Item ⋮ Reachability, confluence, and termination analysis with state-compatible automata ⋮ A framework for developing stand-alone certifiers ⋮ Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
Uses Software
This page was built for publication: Reachability Analysis with State-Compatible Automata
