Thesis (Selection of subject)Thesis (Selection of subject)(version: 368)
Thesis details
   Login via CAS
Model Checking and Reduction of Behavior Protocols
Thesis title in Czech: Model Checking and Reduction of Behavior Protocols
Thesis title in English: Model Checking and Reduction of Behavior Protocols
Academic year of topic announcement: 2007/2008
Thesis type: rigorosum thesis
Thesis language: čeština
Department: Department of Software Engineering (32-KSI)
Supervisor:
Author: hidden - assigned and confirmed by the Study Dept.
Date of registration: 31.01.2008
Date of assignment: 31.01.2008
Date and time of defence: 02.04.2011 00:00
Date of electronic submission:31.01.2008
Date of submission of printed version:31.01.2008
Date of proceeded defence: 02.04.2011
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html