Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
KUČERA, Antonín a Richard MAYR. Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems. Amsterdam: Elsevier, 2002, 106 s. ENTCS, volume 68(6). ISBN 0444513299. |
Další formáty:
BibTeX
LaTeX
RIS
|
Základní údaje | |
---|---|
Originální název | Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems |
Autoři | KUČERA, Antonín (203 Česká republika, garant) a Richard MAYR (276 Německo). |
Vydání | Amsterdam, 106 s. ENTCS, volume 68(6), 2002. |
Nakladatel | Elsevier |
Další údaje | |
---|---|
Originální jazyk | angličtina |
Typ výsledku | Odborná kniha |
Obor | 20206 Computer hardware and architecture |
Stát vydavatele | Nizozemské království |
Utajení | není předmětem státního či obchodního tajemství |
Kód RIV | RIV/00216224:14330/02:00006934 |
Organizační jednotka | Fakulta informatiky |
ISBN | 0444513299 |
Klíčová slova anglicky | infinite-state systems |
Štítky | infinite-state systems |
Příznaky | Mezinárodní význam |
Změnil | Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 22. 11. 2006 17:26. |
Anotace |
---|
Proceedings of the 4th International Workshop on Verification of Infinite-State Systems (Infinity 2002). |
Návaznosti | |
---|---|
GA201/00/0400, projekt VaV | Název: Nekonečně stavové souběžné systémy - modely a verifikace |
Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace | |
MSM 143300001, záměr | Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů |
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů |
VytisknoutZobrazeno: 28. 9. 2024 07:53