본문

서브메뉴

검색

  1. Home
SAT-Based Control of Concurrent Software for Deadlock Avoidance
SAT-Based Control of Concurrent Software for Deadlock Avoidance / Stanley, J. ; Liao, H. ;...
SAT-Based Control of Concurrent Software for Deadlock Avoidance

Detailed Information

Material Type  
 기사
ISSN  
00189286
Title/Author  
SAT-Based Control of Concurrent Software for Deadlock Avoidance / Stanley, J. ; Liao, H. ; Lafortune, S.
Material Info  
pp. 3269
Added Entry-Personal Name  
Stanley, J.
Added Entry-Personal Name  
Liao, H.
Added Entry-Personal Name  
Lafortune, S.
Host Item Entry  
IEEE transactions on Automatic Control : v.60 n.12 2015, 12
모체레코드  
모체정보확인
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


    New Books MORE
    Related books MORE
    Statistics for the past 3 years. Go to brief
    Recommend

    Detail Info.

    • Reservation
    • Book Loan Request Service
    • My Folder
    Material
    Reg No. Call No. Location Status Lend Info
    AR26009 종합자료실 대출가능 대출가능
    대출신청 My Folder

    * Reservations are available in the borrowing book. To make reservations, Please click the reservation button

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치