Daniel Gajski and Samar Abdi, “Transaction-Level System Modeling”, in Practical Design Verification (D. K. Pradhan and I. G Harris, eds), Cambridge University Press, 2009
949-824-9127
Daniel Gajski and Samar Abdi, “Transaction-Level System Modeling”, in Practical Design Verification (D. K. Pradhan and I. G Harris, eds), Cambridge University Press, 2009