Publications
Export 1 results:
Author Title [ Type![(Asc)](https://verify2022.inf.usi.ch/sites/all/modules/biblio/misc/arrow-asc.png)
Filters: Author is Rollini, S. F. and First Letter Of Title is I [Clear All Filters]
Interpolation Properties and SAT-based Model Checking,
, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)