Name | Type | Size | Last Modification | Last Editor |
---|---|---|---|---|
make | 1 KB | 11.09.2008 | Dr. Alexander Ernst (account disabled) | |
paper.pdf | 248 KB | 11.09.2008 | Dr. Alexander Ernst (account disabled) | |
README.DBIS | 1 KB | 11.09.2008 | Dr. Alexander Ernst (account disabled) | |
VDM.ps.gz | 57 KB | 11.09.2008 | Dr. Alexander Ernst (account disabled) | |
VDM.tex | 57 KB | 11.09.2008 | Dr. Alexander Ernst (account disabled) |