Sciweavers

ENTCS
2002
89views more  ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 7 months ago
Bounded Model Checking for Timed Automata
Maria Sorea
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors Maria Sorea
Comments (0)