| |
| 1992 | ||
|---|---|---|
| 2 | Patrik Ernberg, Thomas Hovander, Francisco Monfort: Specification and implementation of an ISDN telephone system using LOTOS. FORTE 1992: 171-186 | |
| 1991 | ||
| 1 | Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson: Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE 1991: 377-392 | |
| 1 | Lars-Åke Fredlund (Lars-åke Fredlund) | [1] |
| 2 | Thomas Hovander | [2] |
| 3 | Bengt Jonsson | [1] |
| 4 | Francisco Monfort | [2] |