Hooggespannen verwachtingen model checking

Research output: Contribution to journalArticleProfessional

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

Keywords

  • METIS-203948

Cite this

@article{8dc5822d6ca2440eb627fcf020288635,
title = "Hooggespannen verwachtingen model checking",
keywords = "METIS-203948",
author = "Hendrik Brinksma and Katoen, {Joost P.}",
year = "2001",
language = "Undefined",
volume = "3",
pages = "--",
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. -.

Research output: Contribution to journalArticleProfessional

TY - JOUR

T1 - Hooggespannen verwachtingen model checking

AU - Brinksma, Hendrik

AU - Katoen, Joost P.

PY - 2001

Y1 - 2001

KW - METIS-203948

M3 - Article

VL - 3

SP - -

JO - Bits en chips

JF - Bits en chips

SN - 1879-6443

IS - 4

ER -