News
Beta Version
Times 1.3 Beta now available online! Download here.
Times User Group
Has been created on YahooGroups!
Register now!
Tool Paper
Presented at TACAS'02, received ETAPS'02 Best Tool Demo Award.
Available here.
Background Paper
Presented at TACAS'02.
Available here.
Last update:
Thursday, 06 Nov 2008, 10:26:39
Optimized for: Mozilla/5.0 MSIE/6.0+
Contact us
Post:
Box 337
Lägerhyddsvägen, 2
Uppsala University
SE-75105, Uppsala
Sweden
Email:
times@timestool.com
Phone:
+46 18 471 3110
Fax:
+46 18 55 0225
Join our Yahoo Group
Visit our Team Homepage

Home | Download | Screenshots | Documentation | Case studies | Publications | DARTS team | Contact us

(C) 2007 DARTS, IT Dept, CS, Uppsala University, Sweden