|
Search the dblp DataBase
José A. Mañas:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- José A. Mañas, Tomás de Miguel
From LOTOS to C. [Citation Graph (0, 0)][DBLP] FORTE, 1988, pp:79-84 [Conf]
- José A. Mañas, Joaquín Salvachúa
Lambda-beta: A Virtual LOTOS Machine. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:441-456 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:467-470 [Conf]
- Tomás Robles, José A. Mañas, Gabriel Huecas
Specification and Derivation of OSI Conformance Test Suites. [Citation Graph (0, 0)][DBLP] Protocol Test Systems, 1992, pp:177-188 [Conf]
- José A. Mañas
Word Division in Spanish. [Citation Graph (0, 0)][DBLP] Commun. ACM, 1987, v:30, n:7, pp:612-616 [Journal]
- José A. Mañas, Tomás de Miguel, Joaquín Salvachúa, Arturo Azcorra
Tool Support to Implement LOTOS Formal Specifications. [Citation Graph (0, 0)][DBLP] Computer Networks and ISDN Systems, 1993, v:25, n:7, pp:815-839 [Journal]
Search in 0.002secs, Finished in 0.003secs
|