![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ECConfiguration.pdf | 2009-02-01 16:41 | 58K | |
| NFP_SoSym2009.aux | 2009-08-18 13:25 | 10K | |
| NFP_SoSym2009.bbl | 2009-08-18 13:05 | 8.2K | |
| NFP_SoSym2009.blg | 2009-08-18 13:05 | 136 | |
| NFP_SoSym2009.log | 2009-08-18 13:25 | 42K | |
| NFP_SoSym2009.out | 2009-08-18 13:25 | 410 | |
| NFP_SoSym2009.pdf | 2009-08-18 13:25 | 767K | |
| NFP_SoSym2009.tex | 2009-08-18 13:04 | 2.8K | |
| OLD/ | 2009-02-01 06:52 | - | |
| REVIEWS.txt | 2009-07-10 05:05 | 25K | |
| abstract.tex | 2009-08-17 04:06 | 1.5K | |
| auto/ | 2009-02-01 06:52 | - | |
| challenges.tex | 2009-08-18 12:31 | 14K | |
| conclusion.tex | 2009-02-01 22:43 | 5.7K | |
| correctness.tex | 2009-08-18 13:15 | 3.5K | |
| cover.docx | 2009-02-01 20:34 | 14K | |
| cover.pdf | 2009-02-01 20:37 | 54K | |
| eps/ | 2009-02-01 06:52 | - | |
| evaluation.tex | 2009-08-17 04:06 | 9.6K | |
| intro - Copy.tex | 2009-02-01 05:42 | 6.9K | |
| intro.tex | 2009-08-18 13:06 | 7.1K | |
| mcheck.tex | 2009-08-18 13:04 | 8.4K | |
| modelcheck.tex | 2009-01-31 22:07 | 14K | |
| pdf/ | 2009-08-18 14:33 | - | |
| related.tex | 2009-08-17 04:06 | 3.7K | |
| response.txt | 2009-08-18 13:29 | 10K | |
| scenario.tex | 2009-08-17 04:06 | 3.0K | |
| submitted-pdf.pdf | 2009-02-02 06:26 | 596K | |
| svglobal.clo | 2009-08-02 19:52 | 3.0K | |
| svjour.cls | 2009-08-02 19:52 | 41K | |
| transform.tex | 2009-08-18 13:24 | 23K | |
| verify.tex | 2009-08-18 10:35 | 8.4K | |
| visio/ | 2009-08-18 14:33 | - | |