History-based Schemes and Implicit Path Enumeration.

Claire Burguière Christine Rochange History-based Schemes and Implicit Path Enumeration. 2006 conf/wcet/2006 WCET http://drops.dagstuhl.de/opus/volltexte/2006/670 db/conf/wcet/wcet2006.html#BurguiereR06