- 6,793 downloads
Compiz-Check is a new tool that can be used to test if Compiz is able to run on your system.
May 13th 2008, 04:19 GMT
- 1,685 downloads
UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly alg...
Nov 23rd 2006, 03:35 GMT