Jesper Gørtz

	1994
3		Jesper Gørtz: Specifying Safety and Progress Properties with RSL. FME 1994: 567-581
	1993
2		Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau: Experience from Applications of RAISE. FME 1993: 52-63
	1991
1		D. L. Chalmers, Bent Dandanell, Jesper Gørtz, Jan Storbank Pedersen, Eld Zierau: Using RAISE - First Impressions from the LaCoS Applications. VDM Europe (1) 1991: 645-657

Coauthor Index

1	D. L. Chalmers	[1]
2	Bent Dandanell	[1] [2]
3	Jan Storbank Pedersen	[1] [2]
4	Eld Zierau	[1] [2]