Pages that link to "Item:Q1400154"
From MaRDI portal
The following pages link to Analysis of a distributed system for lifting trucks. (Q1400154):
Displaying 4 items.
- Model checking a cache coherence protocol of a Java DSM implementation (Q864512) (← links)
- Search algorithms for automated validation (Q1014571) (← links)
- Distributed branching bisimulation reduction of state spaces (Q2845494) (← links)
- Analysing the BKE-security protocol with \(\mu\)CRL (Q2851074) (← links)