1993 | ||
---|---|---|
1 | Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose: MT: A Toolset for Specifying and Analyzing Real-Time Systems. IEEE Real-Time Systems Symposium 1993: 12-22 |
1 | Paul C. Clements | [1] |
2 | Constance L. Heitmeyer (Connie Heitmeyer) | [1] |
3 | Bruce G. Labaw | [1] |