Back to University of Twente portal
Model checking at the requirements level: research abstract
Jansen, D.N. (2001) Model checking at the requirements level: research abstract. In: Proceedings Requirement Engineering 2001, Doctoral Workshop, Toronto, Canada.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 114Kb |
| Item Type: | Conference or Workshop Item |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/37301 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 204467