@proceedings {FPV01, title = {Time Limited Model Checking}, journal = {Proceedings of International Workshop on Specification Analysis and Validation for Emerging Technologies in Computational Logic (SAVE{\textquoteright}01)}, year = {2001}, keywords = {cc, model checking}, author = {Moreno Falaschi and Policriti, A. and Alicia Villanueva}, editor = {Delzanno, G. and Etalle, S. and Gabbrielli, M.} }