Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

Luca Cardelli; Milan Ceska; Martin Fränzle; Marta Kwiatkowska; Luca Laurenti; Nicola Paoletti; Max Whitby

doi:10.1007/978-3-319-63390-9_20

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

34 Downloads (Pure)

Original language	English
Title of host publication	Computer Aided Verification
Subtitle of host publication	29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Editors	Rupak Majumdar, Viktor Kunčak
Publisher	Springer
Pages	375-395
Number of pages	21
ISBN (Electronic)	978-3-319-63390-9
ISBN (Print)	978-3-319-63389-3
DOIs	https://doi.org/10.1007/978-3-319-63390-9_20
Publication status	E-pub ahead of print - 13 Jul 2017

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10427

Access to Document

10.1007/978-3-319-63390-9_20

Accepted ManuscriptAccepted author manuscript, 733 KB

https://link.springer.com/chapter/10.1007/978-3-319-63390-9_20

Cite this

Cardelli, L., Ceska, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N., & Whitby, M. (2017). Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In R. Majumdar, & V. Kunčak (Eds.), Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (pp. 375-395). (Lecture Notes in Computer Science; Vol. 10427). Springer. Advance online publication. https://doi.org/10.1007/978-3-319-63390-9_20

@inproceedings{11b6abb65c374f458b34a610af39f579,

title = "Syntax-Guided Optimal Synthesis for Chemical Reaction Networks",

author = "Luca Cardelli and Milan Ceska and Martin Fr{\"a}nzle and Marta Kwiatkowska and Luca Laurenti and Nicola Paoletti and Max Whitby",

year = "2017",

month = jul,

day = "13",

doi = "10.1007/978-3-319-63390-9_20",

language = "English",

isbn = "978-3-319-63389-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "375--395",

editor = "Majumdar, {Rupak } and Viktor Kun{\v c}ak",

booktitle = "Computer Aided Verification",

}

Cardelli, L, Ceska, M, Fränzle, M, Kwiatkowska, M, Laurenti, L, Paoletti, N & Whitby, M 2017, Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. in R Majumdar & V Kunčak (eds), Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Lecture Notes in Computer Science, vol. 10427, Springer, pp. 375-395. https://doi.org/10.1007/978-3-319-63390-9_20

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. / Cardelli, Luca; Ceska, Milan; Fränzle, Martin et al.
Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. ed. / Rupak Majumdar; Viktor Kunčak. Springer, 2017. p. 375-395 (Lecture Notes in Computer Science; Vol. 10427).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

AU - Cardelli, Luca

AU - Ceska, Milan

AU - Fränzle, Martin

AU - Kwiatkowska, Marta

AU - Laurenti, Luca

AU - Paoletti, Nicola

AU - Whitby, Max

PY - 2017/7/13

Y1 - 2017/7/13

U2 - 10.1007/978-3-319-63390-9_20

DO - 10.1007/978-3-319-63390-9_20

M3 - Conference contribution

SN - 978-3-319-63389-3

T3 - Lecture Notes in Computer Science

SP - 375

EP - 395

BT - Computer Aided Verification

A2 - Majumdar, Rupak

A2 - Kunčak, Viktor

PB - Springer

ER -

Cardelli L, Ceska M, Fränzle M, Kwiatkowska M, Laurenti L, Paoletti N et al. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In Majumdar R, Kunčak V, editors, Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II. Springer. 2017. p. 375-395. (Lecture Notes in Computer Science). Epub 2017 Jul 13. doi: 10.1007/978-3-319-63390-9_20