2002
Infinity 2002. 4th International Workshop on Verification of Infinite-State Systems
KUČERA, Antonín a Richard MAYRZá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 |
| ||
MSM 143300001, záměr |
|