%0 Conference Paper %1 conf/isola/NovikovZ18 %A Novikov, Evgeny %A Zakharov, Ilja S. %B ISoLA (4) %D 2018 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 230-248 %T Verification of Operating System Monolithic Kernels Without Extensions. %U http://dblp.uni-trier.de/db/conf/isola/isola2018-4.html#NovikovZ18 %V 11247 %@ 978-3-030-03427-6

@inproceedings{conf/isola/NovikovZ18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Novikov, Evgeny and Zakharov, Ilja S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2a7be5c1da862efcd367038874f4ced23/dblp}, booktitle = {ISoLA (4)}, crossref = {conf/isola/2018-4}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-03427-6_19}, interhash = {ed066f6b9abba06909045a89084baa24}, intrahash = {a7be5c1da862efcd367038874f4ced23}, isbn = {978-3-030-03427-6}, keywords = {dblp}, pages = {230-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:48:21.000+0200}, title = {Verification of Operating System Monolithic Kernels Without Extensions.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2018-4.html#NovikovZ18}, volume = 11247, year = 2018 }