You are here

Home

Publications

Export 1 results:
Filters: Author is Etalle, S.  [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.

created with Drupal | customized by Giovanni Bacci