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, roč. 11561. New York: Springer International Publishing, 2019, s. 475-496. ISBN 978-3-030-25540-4.
Název česky
Semikvantitativní analýza chemických reakčních sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Křetínský Jan (TUM)
Abstrakt

V tomto článku navrhujeme škálovatelnou metodu pro analýzu stochastických chemických reakčních sítí. Metoda je založena na nové semikvantitativní abstrakci.

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
Svazek
11561
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
DOI
10.1007/978-3-030-25540-4_28
UT WoS
000491468000028
EID Scopus
2-s2.0-85069863997
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",
   volume = 11561,
   year = 2019,
   location = "New York, US",
   publisher = "Springer International Publishing",
   ISBN = "978-3-030-25540-4",
   doi = "10.1007/978-3-030-25540-4\_28",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11965"
}
Nahoru