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