35 lines
1.0 KiB
YAML
35 lines
1.0 KiB
YAML
- key: Taylor2023
|
|
author:
|
|
- Taylor, Landon
|
|
- Israelsen, Bryant
|
|
- Zhang, Zhen
|
|
booktitle: Formal Methods in Computer-Aided Design
|
|
copyright: http://creativecommons.org/licenses/by/4.0/
|
|
doi: 10.34727/2023/isbn.978-3-85448-060-0_37
|
|
isbn: 978-3-85448-060-0
|
|
langid: english
|
|
month: October
|
|
pages: 284--293
|
|
publisher: TU Wien Academic Press
|
|
shorttitle: Cycle and Commute
|
|
title: "Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks"
|
|
urldate: 2023-11-08
|
|
year: "2023"
|
|
- key: Taylor2027
|
|
author:
|
|
- Taylor, Landon
|
|
- Israelsen, Bryant
|
|
- Zhang, Zhen
|
|
booktitle: Formal Methods in Computer-Aided Design
|
|
copyright: http://creativecommons.org/licenses/by/4.0/
|
|
doi: 10.34727/2023/isbn.978-3-85448-060-0_37
|
|
isbn: 978-3-85448-060-0
|
|
langid: english
|
|
month: October
|
|
pages: 284--293
|
|
publisher: TU Wien Academic Press
|
|
shorttitle: Cycle and Commute
|
|
title: "Cycle and Commute: Ra45645646546re-Event Probability Verification for Chemical Reaction Networks"
|
|
urldate: 2023-11-08
|
|
year: "2023"
|