source:
papers/FDL2012
@
70
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.7 KB | 69 | 13 years | partie raffinement avec liste des propriétés mis à jour | |
introduction.tex | 7.2 KB | 52 | 13 years | Decomposition de papier en fichier | |
IEEEbib.bst | 17.5 KB | 48 | 13 years | /papers/FDL2012 | |
framework.tex | 12.3 KB | 68 | 13 years | ||
FDL2012.tex | 3.9 KB | 66 | 13 years | refinement with property first part | |
exp_results.tex | 2.2 KB | 66 | 13 years | refinement with property first part | |
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 | 70 | 13 years |
Note: See TracBrowser
for help on using the repository browser.