| |
| 1991 | ||
|---|---|---|
| 2 | EE | H.-M. Järvinen, Reino Kurki-Suonio: DisCo specification language: marriage of actions and objects. ICDCS 1991: 142-151 |
| 1990 | ||
| 1 | H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä: Object-Oriented Specification of Reactive Systems. ICSE 1990: 63-71 | |
| 1 | Reino Kurki-Suonio | [1] [2] |
| 2 | Markku Sakkinen | [1] |
| 3 | Kari Systä | [1] |