Článek ve sborníku konference

ČEŠKA Milan a KŘETÍNSKÝ Jan. Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks. In: Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019. New York: Springer International Publishing, 2019, s. 1-19.
Jazyk publikace:angličtina
Název publikace:Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks
Strany:1-19
Sborník:Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19). To be published in 2019
Konference:31th International Conference on Computer Aided Verification
Místo vydání:New York, US
Rok:2019
Vydavatel: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 the 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.cs?id=11965}
}

Vaše IPv4 adresa: 34.238.189.171
Přepnout na https