Tools for the Analysis of Quantum Protocols Requiring State Generation Within a Time Window | IEEE Journals & Magazine | IEEE Xplore