source:
papers/FDL2012
@
78
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
schema | 60 | 13 years | new folder organization | ||
Ubbold.fd | 1.7 KB | 49 | 13 years | add math font | |
strings.bib | 226 bytes | 48 | 13 years | /papers/FDL2012 | |
spconf.sty | 8.6 KB | 48 | 13 years | /papers/FDL2012 | |
refs.bib | 212 bytes | 48 | 13 years | /papers/FDL2012 | |
ordering_filter_properties.tex | 13.2 KB | 69 | 13 years | partie raffinement avec liste des propriétés mis à jour | |
myBib.bib | 11.9 KB | 76 | 13 years | ||
introduction.tex | 7.5 KB | 78 | 13 years | /papers/FDL2012/ | |
IEEEbib.bst | 17.5 KB | 48 | 13 years | /papers/FDL2012 | |
framework.tex | 11.9 KB | 77 | 13 years | ref SAT | |
FDL2012.tex | 3.9 KB | 75 | 13 years | /papers/FDL2012/ | |
exp_results.tex | 7.3 KB | 75 | 13 years | /papers/FDL2012/ | |
bbold.sty | 1.8 KB | 49 | 13 years | add math font | |
bbold10.pfb | 24.9 KB | 49 | 13 years | add math font | |
abstraction_refinement.tex | 9.6 KB | 76 | 13 years |
Note: See TracBrowser
for help on using the repository browser.