Conference paper

CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola and WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Heidelberg, 2017, pp. 375-395. ISBN 978-3-319-63390-9.
Publication language:english
Original title:Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
Pages:375-395
Proceedings:Proceedings of the 29th International Conference on Computer Aided Verification
Conference:29th International Conference on Computer Aided Verification
Series:LNCS 10427
Place:Heidelberg, DE
Year:2017
ISBN:978-3-319-63390-9
BibTeX:
@INPROCEEDINGS{
   author = {Luca Cardelli and Milan {\v{C}}e{\v{s}}ka and Martin Franzle
	and Marta Kwiatkowska and Luca Laurenti and Nicola Paoletti
	and Max Whitby},
   title = {Syntax-Guided Optimal Synthesis for Chemical Reaction
	Networks},
   pages = {375--395},
   booktitle = {Proceedings of the 29th International Conference on Computer
	Aided Verification},
   series = {LNCS 10427},
   year = {2017},
   location = {Heidelberg, DE},
   ISBN = {978-3-319-63390-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11432}
}

Your IPv4 address: 54.144.84.155
Switch to IPv6 connection

DNSSEC [dnssec]