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):
Displayed 6 items.
- Don't care words with an application to the automata-based approach for real addition (Q1028730) (← 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)
- Model Checking Parameterized Systems (Q3176379) (← links)
- A model learning based testing approach for kernel P systems (Q6162072) (← links)