Pages that link to "Item:Q5463994"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5463994):
Displaying 5 items.
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract) (Q3540195) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- TaPAS: The Talence Presburger Arithmetic Suite (Q3617759) (← links)
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (Q3618581) (← links)