The following pages link to (Q4808829):
Displaying 4 items.
- Verification of parametric concurrent systems with prioritised FIFO resource management (Q2481584) (← links)
- Model Checking Erlang Programs – Abstracting Recursive Function Calls (Q2841292) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- Equational Abstractions for Reducing the State Space of Rewrite Theories (Q5179134) (← links)