Journal of Computing and Information Technology

Balarin, Felice, Cadence Berkeley Laboratories, Berkeley, USA, United States

• Vol 3, No 3 (1995) - Regular Papers
  A Formalism and a Verification Method for Bus-Based Systems
  Abstract  PDF