Research project

Modular approach to model based verification


Lead researcher

Dr Corina Cirstea

Associate Professor
Connect with Corina

Research outputs

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