diff options
author | 2000-05-16 08:26:34 +0000 | |
---|---|---|
committer | 2000-05-16 08:26:34 +0000 | |
commit | e5f81135e0f864bc7552fd9bf5b8c8423c2d6232 (patch) | |
tree | 9be9cd24a9daf09d5235723747881033389777f5 /html/papers/pgtalk.pdf | |
parent | 43271266a4b7ffc1f6849910541b85078b68d825 (diff) |
Better reference to TACAS paper. Added link to white paper draft.
Diffstat (limited to 'html/papers/pgtalk.pdf')
0 files changed, 0 insertions, 0 deletions