| 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 |
Keywords
- METIS-204467
- IR-37301
Model checking at the requirements level: research abstract
D.N. Jansen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
135
Downloads
(Pure)