Lars Kempe

Publication Activity (10 Years)

Years Active: 1994-1995
Publications (10 Years): 0

Publications

Bengt Jonsson, Lars Kempe
Verifying Safety Properties of a Class of Infinite-State Distributed Algorithms. CAV (1995)
Johan Blom, Roland N. Bol, Lars Kempe
Automatic Detection of Feature Interactions in Temporal Logic. FIW (1995)
Johan Blom, Bengt Jonsson, Lars Kempe
Using temporal logic for modular specification of telephone services. FIW (1994)