Pages that link to "Item:Q1853589"
From MaRDI portal
The following pages link to Model checking of systems with many identical timed processes (Q1853589):
Displaying 13 items.
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Network invariants for real-time systems (Q1019007) (← links)
- Cardinality constraints for arrays (decidability results and applications) (Q1688541) (← links)
- Parameterized model checking of networks of timed automata with Boolean guards (Q1989334) (← links)
- Parameterized model checking of weighted networks (Q2447757) (← links)
- Nested Timed Automata with Frozen Clocks (Q2945595) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Well (and Better) Quasi-Ordered Transition Systems (Q3067860) (← links)
- On the Verification of Timed Ad Hoc Networks (Q3172855) (← links)
- Liveness of Parameterized Timed Networks (Q3449490) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- (Q5111624) (← links)
- Timed Basic Parallel Processes (Q5875376) (← links)
