Quasi-optimal partial order reduction

Formal Methods in System Design 2020 / 10

Quasi-optimal partial order reduction

Coti, Camille, Petrucci, Laure, Rodríguez, César, Sousa, Marcelo
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Journal:
Formal Methods in System Design
DOI:
10.1007/s10703-020-00350-4
Date:
October, 2020
File:
PDF, 745 KB
2020
Conversion to is in progress
Conversion to is failed