A Generic WebDAV-Based Document Repository Manager for Collaborative Systems | IEEE Conference Publication | IEEE Xplore