R. Spickelmeier

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M83/66

, 1983

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/ERL-m-83-66.pdf

---

BibTeX citation:

@techreport{Spickelmeier:M83/66,
    Author= {Spickelmeier, R.},
    Title= {Verification of Circuit Interconnectivity},
    Year= {1983},
    Month= {Oct},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/211.html},
    Number= {UCB/ERL M83/66},
}

EndNote citation:

%0 Report
%A Spickelmeier, R. 
%T Verification of Circuit Interconnectivity
%I EECS Department, University of California, Berkeley
%D 1983
%@ UCB/ERL M83/66
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1983/211.html
%F Spickelmeier:M83/66