|
|
|
|
| LEADER |
00768nz a2200193n 4500 |
| 001 |
mzk2008433892 |
| 003 |
CZ PrNK |
| 005 |
20090714124707.0 |
| 008 |
080117|n|acnnnaabn n a|a |
| 040 |
|
|
|a BOA001
|b cze
|d ABA001
|
| 100 |
1 |
|
|a Vojnar, Tomáš,
|d 1973-
|7 mzk2008433892
|
| 670 |
|
|
|a Jeho: Cut-offs and automata in formal verification of infinite-state systems
|
| 670 |
|
|
|a osobní sdělení
|b biografické údaje
|
| 678 |
0 |
|
|a Narozen 29. 6. 1973 v Karviné. Doc., Ing., Ph.D., autor prací o informačních technologiích, zejména o metodách automatizované verifikace systémů.
|
| 906 |
|
|
|a ko20080124
|b pospel
|
| 906 |
|
|
|a fr20090714
|b pekn
|
| 909 |
|
|
|a CZ
|
| 950 |
0 |
|
|a definitivní
|
| 998 |
|
|
|a http://aleph.nkp.cz/F/?func=direct&doc_number=000433892&local_base=AUT
|
