DMCA

Model abstraction of nondeterministic finite-state automata in supervisor synthesis Citation for published version (APA): Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis

Cached

Download Links

by Schuppen, van, J. H R Su , J E Rooda , Rong Su , Member, IEEE Jan H Van Schuppen , Member, IEEE Jacobus E Rooda