Další formáty:
BibTeX
LaTeX
RIS
@article{569688,
author = {Brim, Luboš and Grumberg, Orna},
article_number = {1},
keywords = {model-checking},
language = {eng},
issn = {1433-2779},
journal = {International Journal on Software Tools for Technology Transfer (STTT)},
title = {Introductory paper: Parallel and Distributed Model Checking},
volume = {7},
year = {2005}
}
TY - JOUR
ID - 569688
AU - Brim, Luboš - Grumberg, Orna
PY - 2005
TI - Introductory paper: Parallel and Distributed Model Checking
JF - International Journal on Software Tools for Technology Transfer (STTT)
VL - 7
IS - 1
SP - 1-3
EP - 1-3
PB - Springer-Verlag GmbH
SN - 14332779
KW - model-checking
N2 - This special section is devoted to a selection of contributions originally presented at the 1st International Workshop on Parallel and Distributed Model Checking (PDMC 2002), which took place in Brno, Czech Republic in September 2002 as a satellite event of the 13th conference on concurrency theory (CONCUR 2002). A short introduction to parallel and distributed model checking is presented.
ER -
BRIM, Luboš a Orna GRUMBERG. Introductory paper: Parallel and Distributed Model Checking. Online. \textit{International Journal on Software Tools for Technology Transfer (STTT)}. Springer-Verlag GmbH, 2005, roč.~7, č.~1, s.~1-3. ISSN~1433-2779. [citováno 2024-04-24]
|
