 | 1993 |
|---|
| 7 |       | José A. Mañas,
Tomás de Miguel,
Joaquín Salvachúa,
Arturo Azcorra:
Tool Support to Implement LOTOS Formal Specifications.
Computer Networks and ISDN Systems 25(7): 815-839 (1993) |
| 1992 |
|---|
| 6 | | Tomás Robles,
José A. Mañas,
Gabriel Huecas:
Specification and Derivation of OSI Conformance Test Suites.
Protocol Test Systems 1992: 177-188 |
| 1991 |
|---|
| 5 | | Juan Quemada,
José A. Mañas,
Enrique Vázquez:
Formal Description Techniques, III, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '90, Madrid, Spain, 5-8 November 1990
North-Holland 1991 |
| 4 | | José A. Mañas,
Joaquín Salvachúa:
Lambda-beta: A Virtual LOTOS Machine.
FORTE 1991: 441-456 |
| 3 | | José A. Mañas,
Joaquín Salvachúa,
Tomás de Miguel:
Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec.
FORTE 1991: 467-470 |
| 1988 |
|---|
| 2 | | José A. Mañas,
Tomás de Miguel:
From LOTOS to C.
FORTE 1988: 79-84 |
| 1987 |
|---|
| 1 | | José A. Mañas:
Word Division in Spanish.
Commun. ACM 30(7): 612-616 (1987) |
