M. P. Bodlaender, A. H. L. Raemaekers, P. D. V. van der Stok
TRAnD: Temporal Requirement Analysis and Design Tool
SAC, 2000.
@inproceedings{SAC-2000-BodlaenderRS,
author = "M. P. Bodlaender and A. H. L. Raemaekers and P. D. V. van der Stok",
booktitle = "{Proceedings of the 15th Symposium on Applied Computing}",
pages = "882--886",
publisher = "{ACM}",
title = "{TRAnD: Temporal Requirement Analysis and Design Tool}",
volume = 2,
year = 2000,
}











