View all research projects
Research project

Modular approach to model based verification

Staff

Lead researchers

Dr Corina Cirstea

Associate Professor
Connect with Corina

Email: cc2@ecs.soton.ac.uk

Research outputs

Corina Cirstea, 2011, Theoretical Computer Science, 412(38), 5025-5042
DOI:
Type: article
Corina Cirstea, Mehrnoosh Sadrzadeh, Jiri Adámek & Clemens Kupke, 2008
Type: conference
2007
Type: conference
Corina Cirstea, Mehrnoosh Sadrzadeh & T. Mossakowski, 2007
Type: conference
Corina Cirstea, J. Adámek & S. Milius, 2006
Type: conference