Skip to main content
chuchu logo

chuchu

Building Safe Autonomy

Search form

Approximate Partial Order Reduction

Submitted by chuchu@mit.edu on Wed, 2021-03-17 13:25

TitleApproximate Partial Order Reduction
Publication TypeBook Chapter
Year of Publication2018
AuthorsFan C, Huang Z, Mitra S
Book TitleFormal Methods - 22nd International Symposium, (FM)
Pagination588–607
PublisherSpringer, Cham
CityOxford, UK
URLhttp://link.springer.com/10.1007/978-3-319-95582-7{\_}35
DOI10.1007/978-3-319-95582-7_35
  • Log in to post comments
  • Google Scholar
  • DOI

Main menu

  • Home
  • Publications
  • About
  • News
  • Contact
Login using Touchstone