Publicaciones en las que colabora con CARLOS GREGORIO RODRÍGUEZ (1)

1999

  1. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science