Publications
Export 1 results:
Author [ Title] Type Year Filters: First Letter Of Title is I and Author is Rollini, S. F. [Clear All Filters]
Interpolation Properties and SAT-based Model Checking,
, 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)