서브메뉴
검색
Verification of Nonconflict of Supervisors Using Abstractions
Verification of Nonconflict of Supervisors Using Abstractions
상세정보
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- Verification of Nonconflict of Supervisors Using Abstractions / Pena, P.N. ; Cury, J.E.R. ; Lafortune, S
- 형태사항
- pp. 2803
- 기타저자
- Pena, P.N.
- 기타저자
- Cury, J.E.R.
- 기타저자
- Lafortune, S
- 모체레코드
- 모체정보확인
- Control Number
- gtec:340232
MARC
008170927s2009 a a kor■022 ▼a00189286
■245 ▼aVerification of Nonconflict of Supervisors Using Abstractions▼dPena, P.N.▼eCury, J.E.R.▼eLafortune, S
■300 ▼app. 2803
■7001 ▼aPena, P.N.
■7001 ▼aCury, J.E.R.
■7001 ▼aLafortune, S
■773 ▼tIEEE transactions on Automatic Control▼gv.54 n.12▼d2009, 12
■SIS ▼aKS021652▼b63263▼h3▼sG
