Peter Grønning

	1992
4		Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. CAV 1992: 44-55
3		Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. Larch 1992: 86-97
	1990
2		Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. FSTTCS 1990: 332-348
1		Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Stepwise Development of a Distributed Load Balancing Algorithms. WDAG 1990: 151-168

Coauthor Index

1	Urban Engberg	[3] [4]
2	Leslie Lamport	[3] [4]
3	Hans Henrik Løvengreen	[1] [2]
4	Thomas Qvist Nielsen	[1] [2]

Colors in the list of coauthors