Počet záznamů: 1
Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable
SYS 0344069 LBL 01873^^^^^2200241^^^450 005 20240103193621.3 014 $a 000279560400035 $2 WOS 014 $a 77954436878 $2 SCOPUS 017 7-
$a 10.1007/978-3-642-13562-0_36 $2 DOI 100 $a 20100623d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Safety Verification of Non-linear Hybrid Systems is Quasi-Semidecidable 215 $a 12 s. 463 -1
$1 001 cav_un_epca*0345003 $1 010 $a 978-3-642-13561-3 $1 011 $a 0302-9743 $1 200 1 $a Theory and Applications of Models of Computation $v S. 397-408 $1 210 $a Berlin $c Springer $d 2010 $1 225 $a Lecture Notes in Computer Science $v 6108 $1 702 1 $a Kratochvíl $b J. $4 340 $1 702 1 $a Li $b A. $4 340 $1 702 1 $a Fiala $b J. $4 340 $1 702 1 $a Kolman $b P. $4 340 610 0-
$a verification 610 0-
$a hybrid systems 610 0-
$a decidebility 700 -1
$3 cav_un_auth*0218448 $a Ratschan $b Stefan $i Oddělení výpočetních metod $j Department of Computational Methods $p UIVT-O $w Department of Computational Mathematics $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1