Faculty of Information Technology, BUT

Publication Details

Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks

ČEŠKA Milan and 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). Lecture Notes of Computer Science. New York: Springer International Publishing, 2019, pp. 475-496. ISBN 978-3-030-25540-4.
Type
conference paper
Language
english
Authors
Češka Milan, RNDr., Ph.D. (DITS FIT BUT)
Křetínský Jan (TUM)
Published
2019
Pages
475-496
Proceedings
Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19)
Series
Lecture Notes of Computer Science
Conference
31th International Conference on Computer Aided Verification, New York, US
ISBN
978-3-030-25540-4
Publisher
Springer International Publishing
Place
New York, US
BibTeX
@INPROCEEDINGS{FITPUB11965,
   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 = "475--496",
   booktitle = "Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19)",
   series = "Lecture Notes of Computer Science",
   year = 2019,
   location = "New York, US",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-25540-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11965"
}
Back to top