Amanote Research
Register
Sign In
Symbolic Synthesis and Verification of Hierarchical Interface-Based Supervisory Control
doi 10.1109/wodes.2006.382510
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
Unknown
Publisher
IEEE
