Alternating Timed Automata Solver Code

Status: Beta

Brought to you by: lordgordon

Tree [r242] /

History

HTTPS svn://

HTTPS access

File	Date	Author	Commit
branches	2010-05-20	lordgordon	[r242] working on #51
tags	2010-04-10	lordgordon	[r231] released 1.2 beta
trunk	2010-04-10	lordgordon	[r230] releasing 1.2 beta