%0 Conference Paper %1 conf/nfm/VerbeekHSTBL0WN15 %A Verbeek, Freek %A Havle, Oto %A Schmaltz, Julien %A Tverdyshev, Sergey %A Blasum, Holger %A Langenstein, Bruno %A Stephan, Werner %A Wolff, Burkhart %A Nemouchi, Yakoub %B NFM %D 2015 %E Havelund, Klaus %E Holzmann, Gerard J. %E Joshi, Rajeev %I Springer %K dblp %P 375-389 %T Formal API Specification of the PikeOS Separation Kernel. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#VerbeekHSTBL0WN15 %V 9058 %@ 978-3-319-17523-2

@inproceedings{conf/nfm/VerbeekHSTBL0WN15, added-at = {2017-05-25T00:00:00.000+0200}, author = {Verbeek, Freek and Havle, Oto and Schmaltz, Julien and Tverdyshev, Sergey and Blasum, Holger and Langenstein, Bruno and Stephan, Werner and Wolff, Burkhart and Nemouchi, Yakoub}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2558e5e941ad752edc0615370de9a6527/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2015}, editor = {Havelund, Klaus and Holzmann, Gerard J. and Joshi, Rajeev}, ee = {https://doi.org/10.1007/978-3-319-17524-9_26}, interhash = {021c162bf54399268211845b94cdefbd}, intrahash = {558e5e941ad752edc0615370de9a6527}, isbn = {978-3-319-17523-2}, keywords = {dblp}, pages = {375-389}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:28:25.000+0200}, title = {Formal API Specification of the PikeOS Separation Kernel.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2015.html#VerbeekHSTBL0WN15}, volume = 9058, year = 2015 }