| bibtype |
V -
Research Report
|
| ARLID |
0410019 |
| utime |
20240103182145.7 |
| mtime |
20060210235959.9 |
| title
(primary) (eng) |
Verification of DESIGNER Functions |
| publisher |
| place |
Praha |
| name |
ÚTIA AV ČR |
| pub_time |
1999 |
|
| specification |
|
| edition |
| name |
Research Report |
| volume_id |
1947 |
|
| author
(primary) |
| ARLID |
cav_un_auth*0101126 |
| name1 |
Khailova |
| name2 |
Natalia |
| institution |
UTIA-B |
| fullinstit |
Ústav teorie informace a automatizace AV ČR, v. v. i. |
|
| COSATI |
09M |
| cas_special |
| research |
AV0Z1075907 |
| department |
AS |
| mrcbC52 |
4 O 4o 20231122133521.1 |
| permalink |
http://hdl.handle.net/11104/0130111 |
| ID_orig |
UTIA-B 990002 |
| arlyear |
1999 |
| mrcbTft |
\nSoubory v repozitáři: 410019.pdf |
| mrcbU10 |
1999 |
| mrcbU10 |
Praha ÚTIA AV ČR |
|