Volume 15, issue 5-6, October 2013

Synthesis

11 articles in this issue

  1. Authors

    • Armando Solar-Lezama
    • Content type: Synthesis
    • Pages: 475 - 495
  2. Authors

    • Bernd Finkbeiner
    • Sven Schewe
    • Content type: Synthesis
    • Pages: 519 - 539