File:ProB CSPAfterModelCheck2.png
Size of this preview: 737 × 600 pixels. Other resolution: 855 × 696 pixels.
Original file (855 × 696 pixels, file size: 92 KB, MIME type: image/png)
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 15:31, 10 August 2015 | | 855 × 696 (92 KB) | Michael Leuschel (talk | contribs) | |
| 19:25, 10 October 2010 | No thumbnail | 802 × 683 (85 KB) | Michael Leuschel (talk | contribs) |
You cannot overwrite this file.
File usage
The following page uses this file:
