본문

서브메뉴

검색

  1. Home
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 Soft...
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.
기본자료저록  
IEEE transactions on Automatic Control : v.58 n.5 2013, 05
모체레코드  
모체정보확인
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

Preview

Export

ChatGPT Discussion

AI Recommended Related Books


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

    Info Détail de la recherche.

    • Réservation
    • Book Loan Request Service
    • My Folder
    Matériel
    Reg No. Call No. emplacement Status Lend Info
    AR24536 종합자료실 대출가능 대출가능
    대출신청 My Folder

    * Les réservations sont disponibles dans le livre d'emprunt. Pour faire des réservations, S'il vous plaît cliquer sur le bouton de réservation

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치