Artículo:

Model and Verification of a Data Manager Based on ARIES

Autor:

Dean Kuo

Página:

427

Publicación:

ACM Transactions on database systems

Volúmen:

21

Número:

4

Periodo:

Diciembre 1996

ISSN:

03625915

SrcID:

03625915-1996-04.txt