H.-M. Järvinen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

2 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

	1991
2		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

Coauthor Index