On delayed choice execution for falsification (2008)

by M Gligoric, T Gvero, S Khurshid, V Kuncak, D Marinov