Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

詳細情報 詳細情報について

• CRID

  1361975841496294272

• DOI

  10.1016/j.automatica.2019.06.022

• ISSN

  00051098

• Web Site

  https://api.elsevier.com/content/article/PII:S0005109819303188?httpAccept=text/xml

  https://api.elsevier.com/content/article/PII:S0005109819303188?httpAccept=text/plain

• データソース種別

  • Crossref
  • KAKEN