data structures and software dependability
computer science department
brandenburg university of technology cottbus - senftenberg
Examples
CaseStudies - under development
Web-based Petri net animation, Sampler
dsszmc_benchmarks/snoopy
| Name | Size | Date |
|---|---|---|
| ../ | ||
| ack3.spped | 177.9 k | January 27, 2010, at 10:18 AM |
| erk.spped | 80.6 k | January 27, 2010, at 10:18 AM |
| fms.spped | 101.8 k | January 27, 2010, at 10:18 AM |
| kanban.spped | 77.1 k | January 27, 2010, at 10:18 AM |
| levchenko_N4.spped | 208.7 k | January 27, 2010, at 10:18 AM |