1. aut = "R. MATTOLINI"
Se encontraron 1 resultados.
Artículo:

Temporal Logics for Real-Time System Specifications

Autor:

P. BELLINI

R. MATTOLINI

P NESI

Página:

12

Publicación:

ACM Computing surveys

Volúmen:

32

Número:

1

Periodo:

Marzo 2000

ISSN:

03600300

SrcID:

03600300-2000-01.TXT

  • Documento número 1466362
  • Actualizado el jueves, 22 de abril de 2021 05:59:58 p. m.
  • Creado el jueves, 22 de abril de 2021 05:59:58 p. m.
  • Enlace directo