swMATH9238MaRDI QIDQ21225FDOQ21225
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/978-3-319-02444-8_42
Cited In (10)
- Star-Topology Decoupling in SPIN
- Model checking \(\omega \)-regular properties with decoupled search
- Star-topology decoupled state space search
- Cunf: a tool for unfolding and verifying Petri nets with read arcs
- Efficient unfolding of contextual Petri nets
- Punf
- Mole
- CosyVerif
- PEP
- Non-interference by unfolding
This page was built for software: Cunf
