source: Papers/cpp-asm-2012 @ 3434

Name Size Rev Age Author Last Change
../
copyright.pdf 151.5 KB 2371   7 years mulligan Added scanned LNCS copyright form as a PDF
cpp-2012-asm.bib 6.8 KB 2370   7 years mulligan Added reference to Jaap's ArXiv? paper
cpp-2012-asm.tex 55.6 KB 3222   6 years tranquil added pages to included papers. final version.
hyphenat.sty 5.7 KB 2336   7 years mulligan Added hyphenat.sty, needed file to compile even after doing a …
llncs.cls 41.8 KB 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
llncs.ind 13.2 KB 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
llncsdoc.sty 1.5 KB 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
lst-grafite.tex 4.3 KB 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
reviews.txt 4.6 KB 2378   7 years sacerdot
splncs03.bst 32.3 KB 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
sprmindx.sty 82 bytes 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
subjidx.ind 2.8 KB 2052   7 years mulligan Initial commit of proposed CPP 2012 paper on the proof of correctness …
Note: See TracBrowser for help on using the repository browser.