Tez No	İndirme	Tez Künye	Durumu
403374		Formal notions of non-interference and liveness for distributed systems / Yazar:GÖRKEM KILINÇ Danışman: Prof. LUCIA POMELLO ; Dr. LUCA BERNARDINELLO Yer Bilgisi: Università degli Studi di Milano-Bicocca (University of Milano-Bicocca) / Yurtdışı Enstitü Konu:Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control Dizin:	Onaylandı Doktora İngilizce 2016 117 s.