Limi
From MaRDI portal
Software:32026
No author found.
Related Items (4)
Introduction to Model Checking ⋮ From non-preemptive to preemptive scheduling using synchronization synthesis ⋮ From non-preemptive to preemptive scheduling using synchronization synthesis ⋮ Abstract semantic diffing of evolving concurrent programs
This page was built for software: Limi
