data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
hypoxia
| Name | Size | Date |
|---|---|---|
| ../ | ||
| hypoxia_paper1_original.log | 1 k | August 30, 2009, at 11:00 AM |
| hypoxia_paper1_original_P.inv | 249 | August 30, 2009, at 11:00 AM |
| hypoxia_paper1_original.spped | 114.7 k | August 30, 2009, at 11:00 AM |
| hypoxia_paper1_original_T.inv | 440 | August 30, 2009, at 11:00 AM |
| hypoxia_paper2_reduced.spped | 65.7 k | August 30, 2009, at 11:00 AM |
| hypoxia_paper3_reduced_hierarchical.spped | 62.4 k | August 30, 2009, at 11:00 AM |
| _hypoxia.zip | 23.1 k | January 25, 2010, at 06:26 PM |
| _read.me_hypoxia.txt | 673 | January 25, 2010, at 06:26 PM |