A Framework for Comparing Models of Computation (1998)

by E Lee, A Sangiovanni-Vincentelli
Venue:IEEE Transactions on CAD of Integrated Circuits and Systems