list | abstracts | bib ]

On Delayed Choice Execution for Falsification

paper pdf   

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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/GligoricETAL08OnDelayedChoiceExecutionforFalsification.pdf}
}

list | abstracts | bib ]