Urban Engberg

	1992
2		Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. CAV 1992: 44-55
1		Urban Engberg, Peter Grønning, Leslie Lamport: Mechanical Verification of Concurrent Systems with TLA. Larch 1992: 86-97

Coauthor Index

1	Peter Grønning	[1] [2]
2	Leslie Lamport	[1] [2]