High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols | IEEE Conference Publication | IEEE Xplore