Works matching IS 15618625 AND DT 2016 AND VI 18 AND IP 5

Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence.

Published in:

Asian Journal of Control, 2016, v. 18, n. 5, p. 1679, doi. 10.1002/asjc.1253

By:

• Liu, Fuchun;
• Zhao, Rui;
• Tan, Taizhe;
• Zhang, Qiansheng

Publication type:

Article