A Hierarchical Approach for Devising Area Efficient Concurrent Online Checkers | IEEE Conference Publication | IEEE Xplore