Design and Evaluation of a Symbolic and Abstraction-Based Model Checker - Sciweavers

25

click to vote

more ATVA 2004 ...

www.lsv.ens-cachan.fr

Tweet