History-based Schemes and Implicit Path Enumeration

Claire Burguière, Christine Rochange. History-based Schemes and Implicit Path Enumeration. In Frank Mueller, editor, 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany. Volume 06902 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]

@inproceedings{BurguiereR06,
  title = {History-based Schemes and Implicit Path Enumeration},
  author = {Claire Burguière and Christine Rochange},
  year = {2006},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/670},
  tags = {rule-based, history},
  researchr = {https://researchr.org/publication/BurguiereR06},
  cites = {0},
  citedby = {0},
  booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany},
  editor = {Frank Mueller},
  volume = {06902},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}