Correct Hardware Design and Verification Methods: Proc./10th IFIP WG 10.5 Advanced Research Working Conf., CHARME 99. Bad Herrenalb, Germany, September 1999

А3, Б2.23, Б3.54.

Correct Hardware Design and Verification Methods: Proc./10th IFIP WG 10.5 Advanced Research Working Conf., CHARME 99. Bad Herrenalb, Germany, September 1999Ed. by Pierre L., Kropf T..-Berlin, Heidelberg.: Springer, 1999.-Vol. 1703.-366 p.-(Lecture Notes in Computer Science).