Pages that link to "Item:Q2747744"
From MaRDI portal
The following pages link to Efficient verification of a multicast protocol for mobile computing (Q2747744):
Displaying 6 items.
- Abstract reduction in directed model checking CCS processes (Q715051) (← links)
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- Verifying a UMTS protocol using Spin and EASN (Q2849552) (← links)
- (Q3045260) (← links)
- Formal Verification of Concurrent Systems via Directed Model Checking (Q5178996) (← links)