File:ProB CSPAfterModelCheck.png
Size of this preview: 734 × 599 pixels. Other resolution: 856 × 699 pixels.
Original file (856 × 699 pixels, file size: 96 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:23, 10 August 2015 | | 856 × 699 (96 KB) | Michael Leuschel (talk | contribs) | |
| 19:15, 10 October 2010 | No thumbnail | 806 × 313 (29 KB) | Michael Leuschel (talk | contribs) |
You cannot overwrite this file.
File usage
The following page uses this file:
