External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates

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]

Authors

Liyong Lin

This author has not been identified. Look up 'Liyong Lin' in Google

Alin Stefanescu

This author has not been identified. Look up 'Alin Stefanescu' in Google

Weilin Wang

This author has not been identified. Look up 'Weilin Wang' in Google

Rong Su

This author has not been identified. Look up 'Rong Su' in Google

Walter Murray Wonham

This author has not been identified. Look up 'Walter Murray Wonham' in Google
runs on