File:FLoC2006- 25MC - 25 Years of Model Checking.jpg
Jump to navigation
Jump to search
![File:FLoC2006- 25MC - 25 Years of Model Checking.jpg](https://upload.wikimedia.org/wikipedia/commons/thumb/8/87/FLoC2006-_25MC_-_25_Years_of_Model_Checking.jpg/405px-FLoC2006-_25MC_-_25_Years_of_Model_Checking.jpg)
Size of this preview: 405 × 600 pixels. Other resolutions: 162 × 240 pixels | 432 × 640 pixels.
Original file (432 × 640 pixels, file size: 194 KB, MIME type: image/jpeg)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 04:11, 6 July 2023 | ![]() | 432 × 640 (194 KB) | commons>Creativebotter88 | Uploaded a work by Dennis Hamilton from https://www.flickr.com/photos/orcmid/219673854/ with UploadWizard |
File usage
There are no pages that use this file.