Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $direction in /www/www-wjp/includes/publikationsliste.php on line 56
Warning: Undefined variable $examensarbeiten in /www/www-wjp/includes/publikationsliste.php on line 57
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
| go to PhD and master's theses |
| Your query yielded 1 results. |
Warning: Undefined variable $simple_publications in /www/www-wjp/includes/publikation.php on line 5
| 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. | | |
|
