Lars Kempe

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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]

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