Hooggespannen verwachtingen model checking

Research output: Contribution to journalArticleAcademic

Original languageUndefined
Pages (from-to)31-34
Number of pages4
JournalBits en chips
Volume3
Issue number4
Publication statusPublished - 2001

Keywords

  • IR-63258
  • EWI-6378
  • FMT-MC: MODEL CHECKING

Cite this

@article{59ba3ddb42e947c19ae6f6310869a00a,
title = "Hooggespannen verwachtingen model checking",
keywords = "IR-63258, EWI-6378, FMT-MC: MODEL CHECKING",
author = "Hendrik Brinksma and Katoen, {Joost P.}",
year = "2001",
language = "Undefined",
volume = "3",
pages = "31--34",
journal = "Bits en chips",
issn = "1879-6443",
publisher = "Techwatch",
number = "4",

}

Hooggespannen verwachtingen model checking. / Brinksma, Hendrik; Katoen, Joost P.

In: Bits en chips, Vol. 3, No. 4, 2001, p. 31-34.

Research output: Contribution to journalArticleAcademic

TY - JOUR

T1 - Hooggespannen verwachtingen model checking

AU - Brinksma, Hendrik

AU - Katoen, Joost P.

PY - 2001

Y1 - 2001

KW - IR-63258

KW - EWI-6378

KW - FMT-MC: MODEL CHECKING

M3 - Article

VL - 3

SP - 31

EP - 34

JO - Bits en chips

JF - Bits en chips

SN - 1879-6443

IS - 4

ER -