Simple-fault checking for automata generated by a fault function

From MaRDI portal
Publication:1816011