Pages that link to "Item:Q4933313"

The following pages link to Superposition-Based Analysis of First-Order Probabilistic Timed Automata (Q4933313):

Displayed 3 items.

• A survey of timed automata for the development of real-time systems (Q394966) ‎ (← links)
• Superposition as a decision procedure for timed automata (Q1949086) ‎ (← links)
• Superposition decides the first-order logic fragment over ground theories (Q1949088) ‎ (← links)