Sciweavers

62
Voted
ACTA
2002

Axiomatising timed automata

14 years 8 months ago
Axiomatising timed automata
Huimin Lin, Wang Yi
Added 16 Dec 2010
Updated 16 Dec 2010
Type Journal
Year 2002
Where ACTA
Authors Huimin Lin, Wang Yi
Comments (0)