Classification of Weak Correctness Criteria for Real-Time Database Applications.

Kyu-Woong LeeSeog Park
Published in: COMPSAC (1996)
Keyphrases