1. aut = "F. Vaandrager"
Se encontraron 1 resultados.
Artículo:

Three Logics for Branching Dissimulation

Autor:

R. De Nicola

F. Vaandrager

Página:

458

Publicación:

Journal of the Association for Computing Machinery

Volúmen:

42

Número:

2

Periodo:

Febrero 1995

ISSN:

00045411

SrcID:

00045411-1995-02.TXT

  • Documento número 1670606
  • Actualizado el lunes, 13 de marzo de 2023 12:39:35 p. m.
  • Creado el lunes, 13 de marzo de 2023 12:39:35 p. m.
  • Enlace directo