SECURATE User's Manual

L.J. Hoffman, E.H. Michelman and D. Clements

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M77/49
July 1977

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1977/ERL-m-77-49.pdf


BibTeX citation:

@techreport{Hoffman:M77/49,
    Author = {Hoffman, L.J. and Michelman, E.H. and Clements, D.},
    Title = {SECURATE User's Manual},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1977},
    Month = {Jul},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1977/29042.html},
    Number = {UCB/ERL M77/49}
}

EndNote citation:

%0 Report
%A Hoffman, L.J.
%A Michelman, E.H.
%A Clements, D.
%T SECURATE User's Manual
%I EECS Department, University of California, Berkeley
%D 1977
%@ UCB/ERL M77/49
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1977/29042.html
%F Hoffman:M77/49