A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata With Variables

doi 10.1109/coase.2012.6386479
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE