MIT
MIT AERO

chuchu

Building Safe Autonomy

Main menu

Approximate Partial Order Reduction

Title

Approximate Partial Order Reduction
Publication Type
Book Chapter
Year of Publication
2018

Authors

Book Title
Formal Methods – 22nd International Symposium, (FM)
Pagination
588–607
Date Published
jul
Publisher
Springer, Cham
City
Oxford, UK
URL
http://link.springer.com/10.1007/978-3-319-95582-7{_}35
DOI
http://dx.doi.org/10.1007/978-3-319-95582-7_35

Google Scholar