Feras Hanandeh. Constraint & Test Verification in Parallel Database Systems. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, editors, Third International Conference on Dependability of Computer Systems, DepCoS-RELCOMEX 2008, June 26-28, 2008, Szklarska Poreba, Poland. pages 269-276, IEEE Computer Society, 2008. [doi]
Abstract is missing.