Paper
The Qx-coder
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev
Paper
Limits for automatic verification of finite-state concurrent systems
Abstract
No abstract available.
Related
Elliot Linzer, M. Vetterli
Computing
Conference paper
Some experimental results on placement techniques
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Frank R. Libsch, S.C. Lien
IBM J. Res. Dev