| 1989 | ||
|---|---|---|
| c1 | Lap-Ming Liu, N. S. Pryes: SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. IFIP Congress 1989: 55-60 | |
| 1 | N. S. Pryes |
Data released under the ODC-BY 1.0 license — See also our legal information page