H.-M. Järvinen

	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

1	Reino Kurki-Suonio	[1] [2]
2	Markku Sakkinen	[1]
3	Kari Systä	[1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page