D. Densmore
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M04/10
May 2004
http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/ERL-04-10.pdf
BibTeX citation:
@techreport{Densmore:M04/10, Author = {Densmore, D.}, Title = {Formal Refinement Verification in Metropolis}, Institution = {EECS Department, University of California, Berkeley}, Year = {2004}, Month = {May}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/4209.html}, Number = {UCB/ERL M04/10} }
EndNote citation:
%0 Report %A Densmore, D. %T Formal Refinement Verification in Metropolis %I EECS Department, University of California, Berkeley %D 2004 %@ UCB/ERL M04/10 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2004/4209.html %F Densmore:M04/10