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 |