1. SIMILARITÉS [S]Maillet Méthode de test de protocoles - G. Bochmann
Plus de détails sur le langage sont donnés dans {[Budk 87].} {SDL [SDL87]} a certaines ] SIMILARITÉS [ avec {Estelle}.
© CATIFQ 1999