A Q-model approach to decomposition and aggregation of specifications of real-time systems (title)

types of item

Number of records 1, displaying 1 - 1