B 2002

PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

BRIM, Luboš and Orna GRUMBERG

Basic information

Original name

PDMC 2002 - Parallel and Distributed Model Checking. Proceedings.

Authors

BRIM, Luboš (203 Czech Republic, guarantor) and Orna GRUMBERG (376 Israel)

Edition

Nizozemsko, 165 pp. ENTCS, Vol. 68, No. 4, 2002

Publisher

Elsevier

Other information

Language

English

Type of outcome

Odborná kniha

Field of Study

20206 Computer hardware and architecture

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/02:00006419

Organization unit

Faculty of Informatics

ISBN

0444512918

Keywords in English

model checking; parallel computing

Tags

Tags

International impact
Změněno: 22/11/2006 08:32, prof. RNDr. Luboš Brim, CSc.

Abstract

V originále

Proceedings of 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002) held in Brno, Czech Republic, August 19, 2002.

Links

GA201/00/1023, research and development project
Name: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
Investor: Czech Science Foundation, Algorithms and tools for practical verification of concurrent systems.
MSM 143300001, plan (intention)
Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing