Number of the records: 1
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
SYS 0536273 LBL 01000a^^22220027750^450 005 20240103224944.3 014 $a 85090902980 $2 SCOPUS 014 $a 000577846300006 $2 WOS 017 70
$a 10.1016/j.entcs.2020.06.006 $2 DOI 100 $a 20201216d m y slo 03 ba 101 0-
$a eng 102 $a NL 200 1-
$a Executable Biochemical Space for Specification and Analysis of Biochemical Systems 215 $a 26 s. $c E 463 -1
$1 001 cav_un_epca*0540577 $1 011 $a 1571-0661 $1 200 1 $a ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE $v S. 91-116 $1 210 $a Freiburg $c Elsevier $d 2020 608 $a Proceedings Paper 610 $a annotation 610 $a simulation 610 $a framework 610 $a semantics 610 $a kappa 610 $a rule-based modelling 610 $a formal specification 610 $a static analysis 700 -1
$3 cav_un_auth*0333068 $a Troják $b M. $y CZ 701 -1
$3 cav_un_auth*0269343 $a Šafránek $b D. $y CZ 701 -1
$3 cav_un_auth*0269345 $a Brim $b L. $y CZ 701 -1
$3 cav_un_auth*0368442 $a Šalagovič $b Jakub $p UEK-B $i Sekce adaptivních a inovačních technik $j Domain of Adaptive and Innovative Techniques $k VS5 $y SK $T Ústav výzkumu globální změny AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0261081 $a Červený $b Jan $p UEK-B $i Sekce adaptivních a inovačních technik $j Domain of Adaptive and Innovative Techniques $k VS5 $y CZ $T Ústav výzkumu globální změny AV ČR, v. v. i. 856 $u https://www.sciencedirect.com/science/article/pii/S1571066120300347?via%3Dihub
Number of the records: 1