Pages that link to "Item:Q5308434"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308434):
Displaying 12 items.
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← links)
- Iterating transducers (Q1858440) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Computable fixpoints in well-structured symbolic model checking (Q2248074) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Handling liveness properties in (\(\omega\)-)regular model checking (Q2851067) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703778) (← links)
- Relational Methods in Computer Science (Q5899317) (← links)
- Computer Aided Verification (Q5900680) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)
- Second-order hyperproperties (Q6535541) (← links)