The following pages link to Maria Luisa Villani (Q856422):
Displaying 5 items.
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- A new characterisation of hereditary PI rings (Q1870912) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Formal Verification of Concurrent Systems via Directed Model Checking (Q5178996) (← links)
- Abstracting Models from Execution Traces for Performing Formal Verification (Q5305770) (← links)