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 proceedingConference contribution

E-pub ahead of print

Documents

Links

  • Luca Cardelli
  • Milan Ceska
  • Martin Fränzle
  • Marta Kwiatkowska
  • Luca Laurenti
  • Nicola Paoletti
  • Max Whitby
Original languageEnglish
Title of host publicationComputer Aided Verification
Subtitle of host publication29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
EditorsRupak Majumdar, Viktor Kunčak
PublisherSpringer
Pages375-395
Number of pages21
ISBN (Electronic)978-3-319-63390-9
ISBN (Print)978-3-319-63389-3
DOIs
Publication statusE-pub ahead of print - 13 Jul 2017

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10427
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 31140313