×
1987
Validación de protocolos, una aproximación algebraica.
[DOI]
Orlando Pereda
PhD thesis, 1987
1985
An approach for evaluating formal description techniques.
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
Proceedings of the Protocol Specification, 1985