KUČERA, Antonín a Richard MAYR. Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems. Amsterdam: Elsevier. 106 s. ENTCS, volume 68(6). ISBN 0444513299. 2002.
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 VaVNá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ěrNá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. 3. 2024 18:03