application/pdf tacas2000.pdf — 317.5 KB