Articles (2) Publications in which a researcher has participated

1988

  1. Formal Manipulation of Forrester Diagrams by Graph Grammars

    IEEE Transactions on Systems, Man and Cybernetics, Vol. 18, Núm. 6, pp. 981-996

  2. Some general incompleteness results for partial correctness logics

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