Sciweavers

CORR
2010
Springer

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

13 years 11 months ago
IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata
Étienne André
Added 09 Dec 2010
Updated 09 Dec 2010
Type Journal
Year 2010
Where CORR
Authors Étienne André
Comments (0)