Formal Methods in Computer-Aided Design Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings - Gopalakrishnan, Ganesh; Gopalakrishnan, Ganesh; Windley, Phillip; Windley, Phillip (Springer Berlin Heidelberg : Imprint: Springer, 1998)