Fakulta informačních technologií VUT v Brně

Detail publikace

Semi-Quantitative Abstraction and Analysis of Chemical Reaction Networks

Č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). Lecture Notes of Computer Science. New York: Springer International Publishing, 2019, s. 475-496. ISBN 978-3-030-25540-4.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, RNDr., Ph.D. (UITS FIT VUT)
Křetínský Jan (TUM)
Rok
2019
Strany
475-496
Sborník
Proceedings of the 31th International Conference on Computer Aided Verification (CAV'19)
Řada
Lecture Notes of Computer Science
Konference
31th International Conference on Computer Aided Verification, New York, US
ISBN
978-3-030-25540-4
Vydavatel
Springer International Publishing
Místo
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"
}
Nahoru