Number of items: 2.
Maiya, Pallavi and Gupta, Rahul and Kanade, Aditya and Majumdar, Rupak
(2016)
Partial Order Reduction for Event-Driven Multi-threaded Programs.
Maiya, Pallavi and Gupta, Rahul and Kanade, Aditya and Majumdar, Rupak
(2015)
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.
CoRR, abs/15.
This list was generated on Fri Mar 29 09:03:41 2024 CET.