A formal analysis of conservative update based approximate counting | IEEE Conference Publication | IEEE Xplore