On Delayed Choice Execution for Falsification

Citation

Milos Gligoric, Tihomir Gvero, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov. On delayed choice execution for falsification. Technical Report LARA-REPORT-2008-08, EPFL, IC, 2008.

BibTex Entry

@techreport{GligoricETAL08OnDelayedChoiceExecutionforFalsification,
  author = {Milos Gligoric and Tihomir Gvero and Sarfraz Khurshid and Viktor Kuncak and Darko Marinov},
  title = {On Delayed Choice Execution for Falsification},
  institution = {EPFL, IC},
  number = {LARA-REPORT-2008-08},
  year = 2008
}