서브메뉴
검색
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Detailed Information
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software / Liao, H. ; Lafortune, S. ; Reveliotis, S.
- 형태사항
- pp. 1123
- 기타저자
- Liao, H.
- 기타저자
- Lafortune, S.
- 기타저자
- Reveliotis, S.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:341852
MARC
008170928s2013 a a kor■022 ▼a00189286
■245 ▼aOptimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software▼dLiao, H.▼eLafortune, S.▼eReveliotis, S.
■300 ▼app. 1123
■7001 ▼aLiao, H.
■7001 ▼aLafortune, S.
■7001 ▼aReveliotis, S.
■773 ▼tIEEE transactions on Automatic Control▼gv.58 n.5▼d2013, 05
■SIS ▼aKS027347▼b63263▼h3▼sG
