| 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] |