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 2 results. |
Warning: Undefined variable $simple_publications in /www/www-wjp/includes/publikation.php on line 5
| In der Rieden, T. and Tsyban, A. |
|
EE |
BibTeX |
| CVM - A Verified Framework for Microkernel Programmers. | | In R. Huuck, G. Klein and B. Schlich, editors, 3rd intl Workshop on Systems Software Verification (SSV08), | | volume 217 of ENTCS, pages 151--168 , Elsevier Science B.V., 2008. | | |
| Gargano, M. and Hillebrand, M. and Leinenbach, D. and Paul, W. |
|
EE |
BibTeX |
| On the Correctness of Operating System Kernels. | | In Hurd, J. and Melham, T., editors, Theorem Proving in High Order Logics (TPHOLs) 2005, | | Oxford, U.K. | | LNCS, Springer, 2005. | | |
|
