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.

[ bib ] Back