TRAnD: Temporal Requirement Analysis and Design Tool

M. P. Bodlaender, A. H. L. Raemaekers, P. D. V. van der Stok. TRAnD: Temporal Requirement Analysis and Design Tool. In SAC (1). pages 882-886, 2000.

@inproceedings{BodlaenderRS00,
  title = {TRAnD: Temporal Requirement Analysis and Design Tool},
  author = {M. P. Bodlaender and A. H. L. Raemaekers and P. D. V. van der Stok},
  year = {2000},
  tags = {analysis, design},
  researchr = {https://researchr.org/publication/BodlaenderRS00},
  cites = {0},
  citedby = {0},
  pages = {882-886},
  booktitle = {SAC (1)},
}