The following pages link to Jonathan Cederberg (Q2841993):
Displaying 5 items.
- MONOTONIC ABSTRACTION FOR PROGRAMS WITH MULTIPLY-LINKED STRUCTURES (Q2841994) (← links)
- Timed lossy channel systems (Q2957514) (← links)
- Monotonic Abstraction for Programs with Multiply-Linked Structures (Q3172870) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Analysis of Message Passing Programs Using SMT-Solvers (Q5166693) (← links)