Home | Legals | Sitemap | interACT
Catalin_Ionescu

Catalin Ionescu

KIT
Exchange at: CMU
Advisor: @ KIT: Prof. P. Schmitt, @ CMU: Prof. E. Clarke
Type of work: Diploma Thesis
Topic of work: Probalistic model checking
Exchange from to: Oct 2006 - May 2007