Author:
Ray Indrakshi,Ammann Paul,Jajodia Sushil
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference26 articles.
1. State-based model checking of event driven systems requirements;Atlee;IEEE Transactions on Software Engineering,1993
2. Applying formal methods to semantic-based decomposition of transactions;Ammann;ACM Transactions on Database Systems,1997
3. Object-Oriented Multidatabase Systems,1996
4. A. Silberschatz. On rigorous transaction scheduling;Breitbart;IEEE Transactions on Software Engineering,1991
5. Concurrency Control and Recovery in Database Systems;Bernstein,1987
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献