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