Tools for the analysis of quantum protocols requiring state generation within a time window | IEEE Journals & Magazine | IEEE Xplore