TRAnD: temporal requirement analysis and design tool
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Serializability Preserving Extensions of Concurrency Control Protocols
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Hi-index | 0.00 |