Skip to main content
Research project

Modular approach to model based verification

Staff

Lead researcher

Doctor Corina Cirstea

Associate Professor

Connect with Corina

Research outputs

Mehrnoosh Sadrzadeh,
Jiri Adámek,
& Clemens Kupke
, 2008
Type: conference
Simon Richards,
Mehrnoosh Sadrzadeh,
Carlos Areces,
& Stephane Demri
, 2007
Type: conference
Mehrnoosh Sadrzadeh,
& T. Mossakowski
, 2007
Type: conference
J. Adámek,
& S. Milius
, 2006
Type: conference
Mehrnoosh Sadrzadeh,
Wiebe van der Hoek,
Michael Wooldridge,
& Giacomo Bonanno
, 2006
Type: conference
Back to top