대구한의대학교 향산도서관

선택목록저장

검색간략리스트

E-Book
Formal Techniques for Realizability Checking and Synthesis of Infinite-State Reactive Systems / Katis, Andreas / University of Minnesota. : ProQuest Dissertations & Theses / 004 / 2020 /
항목 :