Implementation and Application of Automata
From MaRDI portal
Publication:5463994
DOI10.1007/b105090zbMath1115.68425OpenAlexW4302765085WikidataQ56387363 ScholiaQ56387363MaRDI QIDQ5463994
Publication date: 17 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b105090
Related Items (5)
Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) ⋮ An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets ⋮ TaPAS: The Talence Presburger Arithmetic Suite ⋮ Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization ⋮ Don't care words with an application to the automata-based approach for real addition
Uses Software
This page was built for publication: Implementation and Application of Automata
