appearance

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

Skip navigation

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
- Rector`s Office
- Rectorate
- Institutes
- Computer Science
- CEITEC MU
- Specialized Units
- Hostels & Canteens
- University Press
- UCB Management
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer Office
- Biostatistics
- Mendel Museum
- CERIT
- CEITEC Central Management
- Telč Centre

Masaryk University

Publication details

<< back

DiVinE: Parallel Distributed Model Checker (Tool paper)

Basic information
Original title:	DiVinE: Parallel Distributed Model Checker (Tool paper)
Authors:	Jiří Barnat, Luboš Brim, Milan Češka, Petr Ročkai

Further information
Citation:	BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA and Petr ROČKAI. DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). 2010. 4 pp.Export BibTeX @inproceedings{905387, author = {Barnat, Jiří and Brim, Luboš and Češka, Milan and Ročkai, Petr}, booktitle = {Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)}, title = {DiVinE: Parallel Distributed Model Checker (Tool paper)}, year = {2010} }
Type:	Article in Proceedings

Further information

Citation:

BARNAT, Jiří, Luboš BRIM, Milan ČEŠKA and Petr ROČKAI. DiVinE: Parallel Distributed Model Checker (Tool paper). In Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010). 2010. 4 pp.Export BibTeX

@inproceedings{905387,
author = {Barnat, Jiří and Brim, Luboš and Češka, Milan and Ročkai, Petr},
booktitle = {Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010)},
title = {DiVinE: Parallel Distributed Model Checker (Tool paper)},
year = {2010}
}

Type:

Article in Proceedings

Related projects:

top