Science
RSS Feed 62 applications totalLast updated: Mar 25th 2019, 16:25 GMT
sort by:
- solving games
- 1,692 downloads
UPPAAL TIGA 4.1.0-0.9
UPPAAL TIGA is an extension of UPPAAL [BDL04] and it implements the first efficient on-the-fly alg...
Nov 23rd 2006, 03:35 GMT
- estimates conductance
- 1,211 downloads
Contact Conductance Estimator 0.5 Beta
Contact Conductance Estimator (CoCoE) is a program that estimates the conductance (or resistance) ...
Jul 6th 2006, 06:35 GMT