Conference paper

ČEŠKA Milan and KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019. New York: Springer International Publishing, 2019, pp. 1-19.
Publication language:english
Original title:Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks
Pages:1-19
Proceedings:Proceedings of 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019
Conference:31th International Conference on Computer Aided Verification
Place:New York, US
Year:2019
Publisher:Springer International Publishing
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Jan
	K{\v{r}}et{\'{i}}nsk{\'{y}}},
   title = {Semi-Quantitative Abstraction and Analysis of
	Chemical Reaction Networks},
   pages = {1--19},
   booktitle = {Proceedings of 31th International Conference on Computer
	Aided Verification (CAV'19). To be published in 2019},
   year = {2019},
   location = {New York, US},
   publisher = {Springer International Publishing},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=11965}
}

Your IPv4 address: 34.228.194.177