%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 }