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.

Abstract

Abstract is missing.