The following pages link to (Q4942029):
Displaying 5 items.
- A method for symbolic analysis of security protocols (Q557806) (← links)
- Deadlock-freeness of hexagonal systolic arrays (Q765473) (← links)
- Feature interaction detection by pairwise analysis of LTL properties -- A case study (Q853722) (← links)
- An automatic abstraction technique for verifying featured, parameterised systems (Q947791) (← links)
- Process Algebra and Model Checking (Q3176390) (← links)