appearance

MU › Research and development › Overview of publishing activities › Publication details

Masaryk University

Page information

English

Česky

Skip navigation

About the university | Research and development | Applicants | Students | Alumni | Information sources | News | Partners

Skip the Organizational structure panel
Organizational structure
On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

Masaryk University
- Faculties
- Law
- Medicine
- Science
- Arts
- Education
- Economics
- Informatics
- Social Studies
- Sports Studies
- Institutes
- Computer Science
- CEITEC MU
- Politica
- Specialized Units
- Hostels & Canteens
- University Press
- Telč Centre
- UCB Management
- Rector`s Office
- Rectorate
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer
- Biostatistics
- Mendel Museum
- CERIT
- Civic Education
- Project Team CEITEC

Masaryk University

Publication details

3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04)

Basic information
Original title:	3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04)
Author:	Luboš Brim

Further information
Citation:	BRIM, Luboš. 3rd International Workshop on Parallel and Distributed Methods in verifiCation (PDMC'04). 2004. GBR, London. 4.9.2004 - 4.9.2004, Worldwide Activity.
Original language:	English
Field:	Informatika
Type:	Conference
Keywords:	Parallel and Distributed Methods; Verification

International Workshop on Parallel and Distributed Methods in verifiCation

Related projects: