CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Johnson-Robert"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2019
Number of items: 1.

2019

Johnson, Robert and Dong, Qing and Winfree, Erik (2019) Verifying chemical reaction network implementations: A bisimulation approach. Theoretical Computer Science, 765 . pp. 3-46. ISSN 0304-3975. https://resolver.caltech.edu/CaltechAUTHORS:20190617-104717955

This list was generated on Mon Aug 3 13:59:00 2020 PDT.