Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
sidebar [2011/11/07 14:09] transactions old revision restored |
sidebar [2012/02/24 11:49] transactions |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| * [[STMBench7]] | * [[STMBench7]] | ||
| * [[LeeTM]] | * [[LeeTM]] | ||
| - | * [[Microbench]] | + | * [[Synchrobench]] |
| * [[globulation2|Applications]] | * [[globulation2|Applications]] | ||
| * [[Globulation2]] | * [[Globulation2]] | ||
| Line 14: | Line 14: | ||
| * [[VELOX]] | * [[VELOX]] | ||
| * [[SoOS]] | * [[SoOS]] | ||
| + | * [[TransForm]] | ||
| * [[Internships|Student projects]] | * [[Internships|Student projects]] | ||
| * [[publications|Our publications]] | * [[publications|Our publications]] | ||
| * [[Links|Related links]] | * [[Links|Related links]] | ||
