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

29 Downloads (Pure)
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

Cite this