Lars Kempe

	1995
3		Bengt Jonsson, Lars Kempe: Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms. CAV 1995: 42-53
2		Johan Blom, Roland N. Bol, Lars Kempe: Automatic Detection of Feature Interactions in Temporal Logic. FIW 1995: 1-19
	1994
1		Johan Blom, Bengt Jonsson, Lars Kempe: Using temporal logic for modular specification of telephone services. FIW 1994: 197-216

Coauthor Index

1	Johan Blom	[1] [2]
2	Roland N. Bol	[2]
3	Bengt Jonsson	[1] [3]