| Title | Approximate Partial Order Reduction |
| Publication Type | Book Chapter |
| Year of Publication | 2018 |
| Authors | Fan C, Huang Z, Mitra S |
| Book Title | Formal Methods - 22nd International Symposium, (FM) |
| Pagination | 588–607 |
| Publisher | Springer, Cham |
| City | Oxford, UK |
| URL | http://link.springer.com/10.1007/978-3-319-95582-7{\_}35 |
| DOI | 10.1007/978-3-319-95582-7_35 |
Approximate Partial Order Reduction
Submitted by chuchu@mit.edu on