Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham. Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Automatica, 87:290-300, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.