B 2002

Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems

KUČERA, Antonín a Richard MAYR

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

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

Příznaky

Mezinárodní význam
Změněno: 22. 11. 2006 17:26, prof. RNDr. Antonín Kučera, Ph.D.

Anotace

V originále

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ů