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. To appear in LNCS, 2017, pp. 1-20.
Publication language:english
Original title:Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
Pages:1-20
Proceedings:Proceedings of the 29th International Conference on Computer Aided Verification
Conference:29th International Conference on Computer Aided Verification
Place:To appear in LNCS, DE
Year:2017
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 = {1--20},
   booktitle = {Proceedings of the 29th International Conference on Computer
	Aided Verification},
   year = {2017},
   location = {To appear in LNCS, DE},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11432}
}

Your IPv4 address: 54.167.202.184
Switch to IPv6 connection

DNSSEC [dnssec]