Thomas A. Henzinger, S. Qadeer, S.K. Rajamani, S. Tasiran, J.M.L. Wang and Ernest S. Kuh
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M99/13
March 1999
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/ERL-99-13.pdf
BibTeX citation:
@techreport{Henzinger:M99/13, Author = {Henzinger, Thomas A. and Qadeer, S. and Rajamani, S.K. and Tasiran, S. and Wang, J.M.L. and Kuh, Ernest S.}, Title = {An Assume-Guaranteee Rule for Checking Simulation for Multipoint Moment Matching of Multiport Distributed Interconnect Networks}, Institution = {EECS Department, University of California, Berkeley}, Year = {1999}, Month = {Mar}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3592.html}, Number = {UCB/ERL M99/13} }
EndNote citation:
%0 Report %A Henzinger, Thomas A. %A Qadeer, S. %A Rajamani, S.K. %A Tasiran, S. %A Wang, J.M.L. %A Kuh, Ernest S. %T An Assume-Guaranteee Rule for Checking Simulation for Multipoint Moment Matching of Multiport Distributed Interconnect Networks %I EECS Department, University of California, Berkeley %D 1999 %@ UCB/ERL M99/13 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1999/3592.html %F Henzinger:M99/13