People
Projects
Publications
Found Bugs
Openings
Seminars
Xiang Liu (NUS)
Latest
ViewChecker: A Sound and Complete Checker for View-Serializability in Quadratic Time Complexity
Cite
×