Travelled to:
1 × USA
Collaborated with:
H.Mony J.Baumgartner V.Paruthi
Talks about:
without (1) suspect (1) exploit (1) redund (1) prove (1)
Person: Robert Kanzelman
DBLP: Kanzelman:Robert
Contributed to:
Wrote 1 papers:
- DAC-2005-MonyBPK #proving
- Exploiting suspected redundancy without proving it (HM, JB, VP, RK), pp. 463–466.