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