A Note on State Minimization of Asynchronous Sequential Functions

From MaRDI portal
Publication:5555550