![](/img/cover-not-exists.png)
Quasi-optimal partial order reduction
Coti, Camille, Petrucci, Laure, RodrÃguez, César, Sousa, MarceloJournal:
Formal Methods in System Design
DOI:
10.1007/s10703-020-00350-4
Date:
October, 2020
File:
PDF, 745 KB
2020