Other formats:
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š and Orna GRUMBERG. Introductory paper: Parallel and Distributed Model Checking. \textit{International Journal on Software Tools for Technology Transfer (STTT)}. Springer-Verlag GmbH, 2005, vol.~7, No~1, p.~1-3. ISSN~1433-2779.
|