![]() |
@inproceedings{DBLP:conf/csfw/FineHOT89,
author = {Todd Fine and
J. Thomas Haigh and
Richard C. O'Brien and
Dana L. Toups},
title = {Noninterference and the Unwinding for LOCK},
booktitle = {CSFW},
year = {1989},
pages = {22-28},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-07-03 by Michael Ley (ley@uni-trier.de)