The following pages link to Liss (Q32025):
Displaying 4 items.
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5892421) (← links)
- From non-preemptive to preemptive scheduling using synchronization synthesis (Q5915873) (← links)