Search for contacts, projects,
courses and publications

Flexible Interpolation for Efficient Model Checking

Additional information

Authors
Sharygina N., Hyvärinen A., Alt L.
Type
Article in conference proceedings
Year
2015
Language
English
Meeting name
MEMICS 2015
Meeting place
Telč, Czech Republic
Meeting date
October 23-25, 2015