Pages that link to "Item:Q5716749"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716749):
Displaying 6 items.
- A system for compositional verification of asynchronous objects (Q1951610) (← links)
- On the computation of counterexamples in compositional nonblocking verification (Q2197583) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- A Proof System for Compositional Verification of Probabilistic Concurrent Processes (Q4910418) (← links)
- (Q4941913) (← links)
- Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions (Q5353290) (← links)