| zu den Examensarbeiten |
| Ihre Anfrage lieferte 1 Ergebnisse. |
| Daum, Matthias |
 |
EE |
BibTeX |
| Modelling User Programs on top of a Microkernel. | | In Troubitsyna, Elena, editors, Proceedings of Doctoral Symposium held in conjunction with Formal Methods 2008, | | volume 48 of General Publications, Turku centre for computer science, 2008. | | |
|
