%0 Conference Paper %1 conf/sosp/Kahn71 %A Kahn, Gilles %B SOSP %D 1971 %E McCluskey, Edward J. %E Fortis, Nicholas A. %E Lampson, Butler W. %E Bredt, Thomas H. %I ACM %K dblp %P 86-94 %T An Approach to System Correctness. %U http://dblp.uni-trier.de/db/conf/sosp/sosp71.html#Kahn71

@inproceedings{conf/sosp/Kahn71, added-at = {2018-11-06T00:00:00.000+0100}, author = {Kahn, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/20240dda7b9468360ea9f5a59e293541c/dblp}, booktitle = {SOSP}, crossref = {conf/sosp/1971}, editor = {McCluskey, Edward J. and Fortis, Nicholas A. and Lampson, Butler W. and Bredt, Thomas H.}, ee = {https://doi.org/10.1145/800212.806504}, interhash = {39e2dcd9d6bf313d276e500d55c7d00e}, intrahash = {0240dda7b9468360ea9f5a59e293541c}, keywords = {dblp}, note = {Operating System Review 6(1-2)}, pages = {86-94}, publisher = {ACM}, timestamp = {2018-11-07T13:19:41.000+0100}, title = {An Approach to System Correctness.}, url = {http://dblp.uni-trier.de/db/conf/sosp/sosp71.html#Kahn71}, year = 1971 }