[Termination tools] TPA's homepage.

[Koprowski, A.]

   Dear all,

 I'd like to announce that finally TPA has its homepage. It is
accessible at: http://www.win.tue.nl/tpa. You can find there some
information about the tool as well as download the competition version
of it.

  Kind regards,

   Adam Koprowski

 

------------------------------------------------------------------------
-

- Adam Koprowski  (A.Koprowski at tue.nl)
-

- Department of Mathematics and Computer Science
-

- Technical University Eindhoven (TU/e)
-

-
-

- The difference between impossible and possible lies in determination
-

-      Tommy Lasorda
-

------------------------------------------------------------------------
-

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.lri.fr/pipermail/termtools/attachments/20050513/6e14f304/attachment.html