Model checking at the requirements level: research abstract

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

218 Downloads (Pure)

Original language	Undefined
Title of host publication	Proceedings Requirement Engineering '01, Doctoral Workshop
Place of Publication	Toronto, Canada
Pages	-
Number of pages	5
Publication status	Published - 2001
Event	Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada - Duration: 1 Jan 2001 → 1 Jan 2001

Other	Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada
Period	1/01/01 → 1/01/01

Keywords

@inproceedings{7a07fe70fc7246f08c524daed0758ffd,

title = "Model checking at the requirements level: research abstract",

keywords = "METIS-204467, IR-37301",

author = "D.N. Jansen",

year = "2001",

language = "Undefined",

pages = "--",

booktitle = "Proceedings Requirement Engineering '01, Doctoral Workshop",

note = "Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada ; Conference date: 01-01-2001 Through 01-01-2001",

}

TY - GEN

T1 - Model checking at the requirements level: research abstract

AU - Jansen, D.N.

PY - 2001

Y1 - 2001

KW - METIS-204467

KW - IR-37301

M3 - Conference contribution

SP - -

BT - Proceedings Requirement Engineering '01, Doctoral Workshop

CY - Toronto, Canada

T2 - Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada

Y2 - 1 January 2001 through 1 January 2001

ER -