| BRIM, Luboš a Jiří BARNAT. Distribution of Explicit-State LTL Model-Checking. Editors Thomas Arts, Wan Fokking. Electronic Notes in Theoretical Computer Science. Elsevier Science, 2003, Volume 80, č. 1, s. 120-125. |
Další formáty:
BibTeX
LaTeX
RIS
@article{489734,
author = {Brim, Luboš and Barnat, Jiří},
article_number = {1},
keywords = {model-checking; distribution; verification},
language = {eng},
journal = {Electronic Notes in Theoretical Computer Science},
note = {Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03)},
title = {Distribution of Explicit-State LTL Model-Checking},
url = {http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt},
volume = {Volume 80},
year = {2003}
}
TY - JOUR
ID - 489734
AU - Brim, Luboš - Barnat, Jiří
PY - 2003
TI - Distribution of Explicit-State LTL Model-Checking
JF - Electronic Notes in Theoretical Computer Science
VL - Volume 80
IS - 1
SP - 120
EP - 120
PB - Elsevier Science
N1 - Proc. 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03)
KW - model-checking
KW - distribution
KW - verification
UR - http://www.elsevier.nl/gej-ng/31/29/23/137/23/show/Products/notes/index.htt
N2 - We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.
ER -
BRIM, Luboš a Jiří BARNAT. Distribution of Explicit-State LTL Model-Checking. Editors Thomas Arts, Wan Fokking. \textit{Electronic Notes in Theoretical Computer Science}. Elsevier Science, 2003, Volume 80, č.~1, s.~120-125.
|
