- Radboud Repository
- →
- Collections Radboud University
- →
- Academic publications
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Fulltext present in this item
| Title: | Using Model Checkers in an Introductory Course on Operating Systems |
| Author(s): | Hamberg, R.; |
| Publication year: | 2007 |
| Publisher: | onbekend : Institute for Computing and Information Sciences |
| Number of Pages: | 24 p. |
| Series: | Technical Report ; ICIS--R07031 |
| Publication type: | External research report |
|
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/36659 
|
|
Display more details
|
|
| Subject: | Informatics for Technical Applications |
| Organization: | Informatics for Technical Applications |
This item appears in the following Collection(s)
-
Faculty of Science [27006]
-
Open Access publications [51315]
Freely accessible full text publications -
Electronic publications [80019]
Freely accessible full text publications plus those not yet available due to embargo -
Academic publications [175375]
Academic output Radboud University
Upload Full Text