Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/tphol/HeckmanZBPLO96
%A Heckman, Mark R.
%A Zhang, Cui
%A Becker, Brian R.
%A Peticolas, Dave
%A Levitt, Karl N.
%A Olsson, Ronald A.
%B TPHOLs
%D 1996
%E von Wright, Joakim
%E Grundy, Jim
%E Harrison, John
%I Springer
%K dblp
%P 235-250
%T Towards Applying the Composition Principle to Verify a Microkernel Operating System.
%U http://dblp.uni-trier.de/db/conf/tphol/tphol96.html#HeckmanZBPLO96
%V 1125
%@ 3-540-61587-3
@inproceedings{conf/tphol/HeckmanZBPLO96,
added-at = {2017-05-22T00:00:00.000+0200},
author = {Heckman, Mark R. and Zhang, Cui and Becker, Brian R. and Peticolas, Dave and Levitt, Karl N. and Olsson, Ronald A.},
biburl = {https://www.bibsonomy.org/bibtex/2f61e5554a69f2f012d7f07d5065ae697/dblp},
booktitle = {TPHOLs},
crossref = {conf/tphol/1996},
editor = {von Wright, Joakim and Grundy, Jim and Harrison, John},
ee = {https://doi.org/10.1007/BFb0105408},
interhash = {f607b888e3ad1f3f7d574b21281414b7},
intrahash = {f61e5554a69f2f012d7f07d5065ae697},
isbn = {3-540-61587-3},
keywords = {dblp},
pages = {235-250},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-06T11:43:27.000+0200},
title = {Towards Applying the Composition Principle to Verify a Microkernel Operating System.},
url = {http://dblp.uni-trier.de/db/conf/tphol/tphol96.html#HeckmanZBPLO96},
volume = 1125,
year = 1996
}