| 1985 |
|---|
| 3 | | Ari Ahtiainen,
S. Alfonzetti,
V. Chari,
Mats Daniels,
Michel Diaz,
Alberto Faro,
Hans A. Hansson,
Guy Juanole,
Ulla Karjalainen,
Gesualdo Le Moli,
Juhani Malka,
Sergio Palazzo,
Orlando Pereda:
An approach for evaluating formal description techniques.
PSTV 1985: 421-438 |
| 1983 |
|---|
| 2 | | Jean-Pierre Ansart,
V. Chari,
D. Simon:
From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).
Protocol Specification, Testing, and Verification 1983: 381-390 |
| 1982 |
|---|
| 1 | | Jean-Pierre Ansart,
Omar Rafiq,
V. Chari:
PDIL-Protocol Description and Implementation Language.
PSTV 1982: 101-112 |
