Skip to main content
Research project

Modular approach to model based verification

Staff

Lead researcher

Dr Corina Cirstea

Associate Professor

Research outputs

, 2011 , Theoretical Computer Science , 412 (38) , 5025--5042
Type: article
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
Back
to top