| |
| 1996 | ||
|---|---|---|
| 1 | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450 | |
| 1 | Ghassan Chehaibar | [1] |
| 2 | Hubert Garavel | [1] |
| 3 | Laurent Mounier | [1] |
| 4 | Nadia Tawbi | [1] |