Articles (4) Publications auxquelles un chercheur a participé

1988

  1. Diseño de protocolos: técnicas de especificación y descripción formal

    Revista de informática y automática, Año 21, Núm. 1, pp. 28-37

  2. Microprocessor instruction for undergraduate students

    Education and Computing, Vol. 4, Núm. 4, pp. 265-272

  3. Motion of a charge in a magnetic dipole field. I. Painlevé analysis and a conservative numerical scheme

    Applied Mathematics and Computation, Vol. 25, Núm. 3, pp. 207-217

  4. Some general incompleteness results for partial correctness logics

    Information and Computation, Vol. 79, Núm. 1, pp. 22-42