Guest editors' introduction: Model checking in a nutshell

Research output: Contribution to journal › Article › Academic › peer-review

166 Downloads (Pure)

Original language	English
Pages (from-to)	1-5
Journal	Journal of logic and algebraic programming
Volume	52-53
DOIs	https://doi.org/10.1016/S1567-8326(02)00030-9
Publication status	Published - 2002

Keywords

@article{008c91ebd33b4b64b5084b5eae7a2c00,

title = "Guest editors' introduction: Model checking in a nutshell",

keywords = "METIS-208726",

author = "H. Hermanns and Katoen, \{Joost P.\}",

year = "2002",

doi = "10.1016/S1567-8326(02)00030-9",

language = "English",

volume = "52-53",

pages = "1--5",

journal = "Journal of logic and algebraic programming",

issn = "1567-8326",

publisher = "Elsevier",

}

TY - JOUR

T1 - Guest editors' introduction: Model checking in a nutshell

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2002

Y1 - 2002

KW - METIS-208726

U2 - 10.1016/S1567-8326(02)00030-9

DO - 10.1016/S1567-8326(02)00030-9

M3 - Article

SN - 1567-8326

VL - 52-53

SP - 1

EP - 5

JO - Journal of logic and algebraic programming

JF - Journal of logic and algebraic programming

ER -