Pages that link to "Item:Q4850737"
From MaRDI portal
The following pages link to Construction and Analysis of Transition Systems with MEC (Q4850737):
Displaying 4 items.
- \(\text{DELFIN}^+\): an efficient deadlock detection tool for CCS processes (Q856423) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- A contribution to the validation of grafcet controlled systems (Q2512110) (← links)
- Formal Verification of Concurrent Systems via Directed Model Checking (Q5178996) (← links)