BRIM, Luboš and 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, No 1, p. 120-125. |
Other formats:
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š and 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, No~1, p.~120-125.
|