A parametric analysis of the state-explosion problem in model checking - Sciweavers

22

click to vote

more JCSS 2006 ...

www.liafa.jussieu.fr

Tweet