On the freeze quantifier in Constraint LTL: decidability and complexity - Sciweavers

12

click to vote

more CORR 2006 ...

www.lsv.ens-cachan.fr

Tweet