A test for behavioral equivalence

Ming Hou 0001, A. C. Pugh, G. E. Hayton. A test for behavioral equivalence. IEEE Trans. Automat. Contr., 45(11):2177-2182, 2000. [doi]

Abstract

Abstract is missing.