Pages that link to "Item:Q3066129"
From MaRDI portal
The following pages link to Transactions on Petri Nets and Other Models of Concurrency IV (Q3066129):
Displaying 6 items.
- Vicinity Respecting Homomorphisms for Abstracting System Requirements (Q3066130) (← links)
- Search-Order Independent State Caching (Q3066131) (← links)
- Bounded Parametric Model Checking for Elementary Net Systems (Q3066133) (← links)
- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets (Q3066134) (← links)
- Parametric Model Checking with VerICS (Q3066135) (← links)
- On-the-Fly Auditing of Business Processes (Q3066137) (← links)
