References
- [McM99a]
-
K. L. McMillan.
Getting Started with SMV.
Cadence Berkely Labs, 2001 Addison St., Berkely, CA, March 1999.
- [McM99b]
-
K. L. McMillan.
The SMV Language.
Cadence Berkely Labs, 2001 Addison St., Berkely, CA, March 1999.
last generated May 2, 2001 (©Public License)