Pages that link to "Item:Q5166715"
From MaRDI portal
The following pages link to Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs (Q5166715):
Displaying 6 items.
- Model checking \(\omega \)-regular properties with decoupled search (Q832281) (← links)
- Star-topology decoupled state space search (Q1749386) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
- Star-Topology Decoupling in SPIN (Q5883577) (← links)
- Concurrency in Boolean networks (Q6151158) (← links)
- Taking complete finite prefixes to high level, symbolically (Q6622143) (← links)