| |
| 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 | |
| 1 | Johan Blom | [1] [2] |
| 2 | Roland N. Bol | [2] |
| 3 | Bengt Jonsson | [1] [3] |