The following pages link to Verification: Theory and Practice (Q5305662):
Displaying 12 items.
- Property-directed incremental invariant generation (Q939166) (← links)
- Invariant-preserving Petri net reduction and conditions for invariant- existence (Q1118414) (← links)
- Analysis issues in Petri nets with inhibitor arcs (Q1606123) (← links)
- S- and T-invariants in cyber net systems (Q1894326) (← links)
- S-invariant analysis of general recursive Petri boxes (Q1894677) (← links)
- Extensible structural analysis of Petri net product lines (Q2032833) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Formal Relationships Between Geometrical and Classical Models for Concurrency (Q5179022) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308407) (← links)
- Automated Technology for Verification and Analysis (Q5394179) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713501) (← links)
