| go to PhD and master's theses |
| Your query yielded 1 results. |
| 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. | | |
|
