Travelled to:
1 × Hungary
Collaborated with:
M.Rueher
Talks about:
telecommun (1) contribut (1) protocol (1) support (1) program (1) logic (1) test (1)
Person: Didier Ladret
DBLP: Ladret:Didier
Contributed to:
Wrote 1 papers:
- ICLP-1993-LadretR #logic programming #protocol #testing
- Contribution of Logic Programming to Support Telecommunications Protocol Tests (DL, MR), pp. 845–846.