PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F03%3A00009037" target="_blank" >RIV/00216224:14330/03:00009037 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14330/03:00008595
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.
Original language description
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003.
Czech name
—
Czech description
—
Classification
Type
B - Specialist book
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F03%2F0509" target="_blank" >GA201/03/0509: Automated Verification of Parallel and Distributed Systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
ISBN
—
Number of pages
130
Publisher name
Elsevier
Place of publication
Nizozemsko
UT code for WoS book
—