Hooggespannen verwachtingen model checking

Research output: Contribution to journal › Article › Academic

Keywords

@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",

}