Model matching for finite-state machines

Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa. Model matching for finite-state machines. IEEE Trans. Automat. Contr., 46(11):1726-1743, 2001. [doi]

Abstract

Abstract is missing.