- Artículo:
Applying Formal Methods to Semantic Based Decomposition of Transactions
- Autor:
Paul Ammann
Sushil Jajodia
Indrakshi Ray
- Página:
215
- Publicación:
ACM Transactions on database systems
- Volúmen:
22
- Número:
2
- Periodo:
Junio 1997
- ISSN:
03625915
- SrcID:
03625915-1997-02.TXT
- Documento número 1466588
- Actualizado el jueves, 22 de abril de 2021 06:36:40 p. m.
- Creado el jueves, 22 de abril de 2021 06:36:40 p. m.
- Enlace directo
