Sciweavers

72
Voted
LICS
2012
IEEE

Better Abstractions for Timed Automata

12 years 11 months ago
Better Abstractions for Timed Automata
Frédéric Herbreteau, B. Srivathsan,
Added 29 Sep 2012
Updated 29 Sep 2012
Type Journal
Year 2012
Where LICS
Authors Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz
Comments (0)