hr. M. Izadi - Model Checking of Component Connectors

Date	Tuesday 6 December 2011
Time	13:45 hrs
Faculty	Science

Promotoren: Prof.dr. F. Arbab, Prof.dr. Ali Movaghar (Sharif University, Iran)