- 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
- Documento número 1466580
- Actualizado el jueves, 22 de abril de 2021 06:36:21 p. m.
- Creado el jueves, 22 de abril de 2021 06:36:21 p. m.
- Enlace directo