The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
Anthony Hall, David L. Dill, John Rushby, C. Michael Holloway, Ricky W. Butler, Pamela Zave, "Industrial Practice", Computer, vol. 29, no. , pp. 22-27, April 1996, doi:10.1109/MC.1996.10048
92 ms
(Ver 3.3 (11022016))