Detail publikace

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

ČEŠKA, M.; CHAU, C.; KŘETÍNSKÝ, J. SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. In International Conference on Computer Aided Verification. Lecture Notes in Computer Science. Cham: Springer Verlag, 2020. p. 653-666. ISBN: 978-3-030-53287-1.
Název česky
SeQuaiA: Nástroj pro semikvantitativní analýzu chemických reakčních sítí
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Češka Milan, doc. RNDr., Ph.D. (UITS)
CHAU, C.
KŘETÍNSKÝ, J.
URL
Klíčová slova

pravděpodobnostní verifikace populační Markovské modely abstrakce

Abstrakt

Článek popisuje nový nástroj pro efektivní analýzu složitých chemických reakčních sítí. Nástroj využívá techniky semikvantitativní analýzy a poskytuje širokou škálu vizualizačních prostředků, které dovolují interpretovat výsledky analýzy.

Rok
2020
Strany
653–666
Sborník
International Conference on Computer Aided Verification
Řada
Lecture Notes in Computer Science
Svazek
12224
ISBN
978-3-030-53287-1
Vydavatel
Springer Verlag
Místo
Cham
DOI
10.1007/978-3-030-53288-8_32
UT WoS
000695276000032
EID Scopus
2-s2.0-85089219258
BibTeX 
@inproceedings{BUT168142,
  author="ČEŠKA, M. and CHAU, C. and KŘETÍNSKÝ, J.",
  title="SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks",
  booktitle="International Conference on Computer Aided Verification",
  year="2020",
  series="Lecture Notes in Computer Science",
  volume="12224",
  pages="653--666",
  publisher="Springer Verlag",
  address="Cham",
  doi="10.1007/978-3-030-53288-8\{_}32",
  isbn="978-3-030-53287-1",
  url="https://link.springer.com/chapter/10.1007/978-3-030-53288-8_32"
}
Nahoru