Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Miremadi
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata With Variables