You are here

Publications

Export 1 results:
Filters: Author is Delzanno, G.  [Clear All Filters]
2001
M. Falaschi, Policriti, A., and Villanueva, A., Time Limited Model Checking, Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE'01). 2001.