![File:FLoC2006- 25MC - 25 Years of Model Checking.jpg](http://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) | Creativebotter88 | Uploaded a work by Dennis Hamilton from https://www.flickr.com/photos/orcmid/219673854/ with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on es.wikipedia.org
- Usage on www.wikidata.org