Add sample content
This commit is contained in:
parent
a69c36e34a
commit
35254ad2f6
34
Taylor2023.yaml
Normal file
34
Taylor2023.yaml
Normal file
@ -0,0 +1,34 @@
|
|||||||
|
- 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"
|
Loading…
x
Reference in New Issue
Block a user