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/smart
| Name | Size | Date |
|---|---|---|
| ../ | ||
| ack3.smart | 1.5 k | January 27, 2010, at 10:18 AM |
| erk.smart | 1.4 k | January 27, 2010, at 10:18 AM |
| fms_level19.smart | 1.3 k | January 27, 2010, at 10:18 AM |
| kanban.smart | 2.1 k | January 27, 2010, at 10:18 AM |
| levchenko.smart | 2 k | January 27, 2010, at 10:18 AM |
| phils.smart | 1.3 k | January 27, 2010, at 10:18 AM |