Lars Kempe

According to our database, Lars Kempe authored at least 3 papers between 1994 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Automatic Detection of Feature Interactions in Temporal Logic.

Johan Blom, Roland N. Bol, Lars Kempe

Proceedings of the Feature Interactions in Telecommunications III, 1995

Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms.

Bengt Jonsson, Lars Kempe

Proceedings of the Computer Aided Verification, 1995

1994

Using temporal logic for modular specification of telephone services.

Johan Blom, Bengt Jonsson, Lars Kempe

Proceedings of the Feature Interactions in Telecommunications Systems, 1994