Sciweavers

FORTE
2007

Improvements for the Symbolic Verification of Timed Automata

14 years 29 days ago
Improvements for the Symbolic Verification of Timed Automata
Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where FORTE
Authors Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng
Comments (0)