Method for the functional diagnosis of nondeterministic finite state machines

From MaRDI portal
Publication:1995345