서브메뉴
검색
SAT-Based Control of Concurrent Software for Deadlock Avoidance
SAT-Based Control of Concurrent Software for Deadlock Avoidance
Detailed Information
- 자료유형
- 기사
- ISSN
- 00189286
- 서명/저자
- SAT-Based Control of Concurrent Software for Deadlock Avoidance / Stanley, J. ; Liao, H. ; Lafortune, S.
- 형태사항
- pp. 3269
- 기타저자
- Stanley, J.
- 기타저자
- Liao, H.
- 기타저자
- Lafortune, S.
- 모체레코드
- 모체정보확인
- Control Number
- gtec:343347
MARC
008171010s2015 a a kor■022 ▼a00189286
■245 ▼aSAT-Based Control of Concurrent Software for Deadlock Avoidance▼dStanley, J.▼eLiao, H.▼eLafortune, S.
■300 ▼app. 3269
■7001 ▼aStanley, J.
■7001 ▼aLiao, H.
■7001 ▼aLafortune, S.
■773 ▼tIEEE transactions on Automatic Control▼gv.60 n.12▼d2015, 12
■SIS ▼aKS031862▼b63263▼h3▼sG
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Buch Status
- Reservierung
- Book Loan Request Service
- Meine Mappe
