Syntax-Guided Optimal Synthesis for Chemical Reaction Networks - Research

Home > Computer Science home > Research > Profile > Publications > Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. / Cardelli, Luca; Ceska, Milan; Fränzle, Martin; Kwiatkowska, Marta; Laurenti, Luca; Paoletti, Nicola; Whitby, Max.

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

E-pub ahead of print

Documents

Accepted Manuscript
Accepted author manuscript, 733 KB, PDF document

Links

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

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

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