자료유형  

 학위논문

Control Number  

0015760265

International Standard Book Number  

9798698541332

Dewey Decimal Classification Number  

004

Main Entry-Personal Name  

Katis, Andreas.

Publication, Distribution, etc. (Imprint  

[Sl] : University of Minnesota, 2020

Publication, Distribution, etc. (Imprint  

Ann Arbor : ProQuest Dissertations & Theses, 2020

Physical Description  

155 p

General Note  

Source: Dissertations Abstracts International, Volume: 82-05, Section: B.

General Note  

Advisor: Whalen, Michael William;Heimdahl, Mats Per Erik.

Dissertation Note  

Thesis (Ph.D.)--University of Minnesota, 2020.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Subject Added Entry-Topical Term  

Computer science

Index Term-Uncontrolled  

Formal Methods

Index Term-Uncontrolled  

Reactive Systems

Index Term-Uncontrolled  

Realizability Checking

Index Term-Uncontrolled  

Software Engineering

Index Term-Uncontrolled  

Synthesis

Added Entry-Corporate Name  

University of Minnesota Computer Science

Host Item Entry  

Dissertations Abstracts International. 82-05B.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:591008