Počet záznamů: 1
Coinduction in concurrent timed systems
SYS 0348268 LBL 01517^^^^^2200253^^^450 005 20240103194000.5 014 $a 77955743151 $2 SCOPUS 017 $a 10.1016/j.entcs.2010.07.020 $2 DOI 100 $a 20101013d m y slo 03 ba 101 0-
$a eng $d eng 102 $a NL 200 1-
$a Coinduction in concurrent timed systems 215 $a 21 s. 463 -1
$1 001 cav_un_epca*0085624 $1 011 $a 1571-0661 $1 200 1 $a Electronic Notes in Theoretical Computer Science $v Roč. 264, č. 2 (2010), s. 177-197 $1 210 $c Elsevier 610 0-
$a timed discrete-event systems 610 0-
$a partial Mealy automata 610 0-
$a functional stream calculus 610 0-
$a synchronous composition 700 -1
$3 cav_un_auth*0100669 $a Komenda $b Jan $i Matematická logika a teoretická informatika $j Mathematical Logic and Theoretical Computer Science $l MLTCS $p MU-W $w Mathematical Logic and Theoretical Computer Science $4 070 $T Matematický ústav AV ČR, v. v. i. 856 $u http://www.sciencedirect.com/science/article/pii/S1571066110000794
Počet záznamů: 1