Lower and Upper Bounds in Zone Based Abstractions of Timed Automata - Sciweavers

21

click to vote

more TACAS 2004 ...

www.lsv.ens-cachan.fr

Tweet