Complete open-state testing of limitedly nondeterministic systems

From MaRDI portal
Publication:2654997