Publication

Back to overview

Flexible Interpolation for Efficient Model Checking

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Publication date 2016
Author Hyvarinen Antti E. J., Alt Leonardo, Sharygina Natasha,
Project Harnessing Parallel Computing for Model Checking
Show all

Proceedings (peer-reviewed)

Title of proceedings MEMICS 2015
DOI 10.1007/978-3-319-29817-7_2

-