@inproceedings{FPV01b,
title = {{Time Limited Model Checking}},
author = {Falaschi, M. and Policriti, A. and Villanueva, A.},
booktitle = {Proceedings of the International Workshop on Specification, Analysis and Validation for Emerging Technologies (SAVE)},
month = dec,
year = 2001,
address = Cyprus
}