본문

서브메뉴

검색

  1. Home
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications / Liu, J. ; O...
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications

Detailed Information

자료유형  
 기사
ISSN  
00189286
서명/저자  
Synthesis of Reactive Switching Protocols From Temporal Logic Specifications / Liu, J. ; Ozay, N. ; Topcu, U.
형태사항  
pp. 1771
기타저자  
Liu, J.
기타저자  
Ozay, N.
기타저자  
Topcu, U.
기본자료저록  
IEEE transactions on Automatic Control : v.58 n.7 2013, 07
모체레코드  
모체정보확인
Control Number  
gtec:341921

MARC

 008170928s2013              a    a                          kor
■022    ▼a00189286
■245    ▼aSynthesis  of  Reactive  Switching  Protocols  From  Temporal  Logic  Specifications▼dLiu,  J.▼eOzay,  N.▼eTopcu,  U.
■300    ▼app.  1771
■7001  ▼aLiu,  J.
■7001  ▼aOzay,  N.
■7001  ▼aTopcu,  U.
■773    ▼tIEEE  transactions  on  Automatic  Control▼gv.58  n.7▼d2013,  07
■SIS    ▼aKS027552▼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

    ค้นหาข้อมูลรายละเอียด

    • จองห้องพัก
    • Book Loan Request Service
    • โฟลเดอร์ของฉัน
    วัสดุ
    Reg No. Call No. ตำแหน่งที่ตั้ง สถานะ ยืมข้อมูล
    AR24605 종합자료실 대출가능 대출가능
    대출신청 My Folder

    * จองมีอยู่ในหนังสือยืม เพื่อให้การสำรองที่นั่งคลิกที่ปุ่มจองห้องพัก

    Books borrowed together with this book

    Related books

    Related Popular Books

    도서위치