메뉴 건너뛰기




Volumn 42, Issue 7, 1999, Pages 71-75

Trusted recovery

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0002050609     PISSN: 00010782     EISSN: None     Source Type: Journal    
DOI: 10.1145/306549.306580     Document Type: Article
Times cited : (50)

References (5)
  • 2
    • 0000484157 scopus 로고    scopus 로고
    • Applying formal methods to semantic-based decomposition of transactions
    • June
    • Ammann, P. and Jajodia, S. and Ray, I. Applying formal methods to semantic-based decomposition of transactions. TODS 22, 2 (June), 215-254
    • TODS , vol.22 , Issue.2 , pp. 215-254
    • Ammann, P.1    Jajodia, S.2    Ray, I.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.