A Method of Computing Critical Timelines and Its Related Mathematic Models for the Anti-Missile Operation | IEEE Conference Publication | IEEE Xplore