Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 08:24, 7 February 2018 | ProBAlloyQueens.png (file) |  |
138 KB | 1 | |
| 07:20, 5 September 2013 | ProB GameOfLife Screenshot.png (file) |  |
139 KB | 1 | |
| 07:35, 24 April 2024 | IceCreamCoverage.png (file) |  |
139 KB | 1 | |
| 07:18, 24 December 2011 | StackConstructiveProB.png (file) |  |
145 KB | 1 | |
| 14:46, 7 March 2024 | ProBAtAGlance.png (file) |  |
147 KB | 1 | |
| 06:38, 2 September 2015 | MCDC Coverage ABZ.png (file) |  |
150 KB | 1 | |
| 10:24, 17 April 2015 | ProB Phonebook7 spdot df.png (file) |  |
154 KB | 1 | |
| 07:46, 17 June 2020 | WD VSCode Settings.png (file) |  |
160 KB | 1 | |
| 11:45, 30 July 2013 | ProB RushHour Screenshot.png (file) |  |
163 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk Warnings.png (file) |  |
165 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk Menu.png (file) |  |
165 KB | 1 | |
| 10:27, 17 April 2015 | ProB Phonebook7 spdot mixed2.png (file) |  |
166 KB | 1 | |
| 07:12, 2 February 2016 | ProB DieHard Screenshot.png (file) |  |
166 KB | 1 | |
| 06:23, 25 March 2022 | ProB2UI VisB Debug Table View.png (file) |  |
169 KB | 1 | |
| 14:46, 22 July 2014 | ProB RushHour v2 Screenshot.png (file) |  |
171 KB | 1 | |
| 15:15, 20 January 2016 | ProB Argumentation Screenshot1.png (file) |  |
173 KB | 2 | |
| 09:23, 1 December 2018 | ExternalFunctions.pdf (file) |  |
174 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot random2.png (file) |  |
174 KB | 1 | |
| 16:36, 22 May 2013 | ProB Card Screenshot.png (file) |  |
176 KB | 1 | |
| 11:17, 7 February 2018 | ProBAlloyRiver.png (file) |  |
177 KB | 1 | |
| 10:18, 11 September 2013 | ProB-TLC RushHour Screenshot.png (file) |  |
178 KB | 1 | |
| 12:16, 21 December 2015 | Hanoi6 sfdp.png (file) |  |
185 KB | 2 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot hash.png (file) |  |
190 KB | 1 | |
| 08:23, 23 July 2014 | ProB RushHour XTL Screenshot.png (file) |  |
190 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot dlk.png (file) |  |
192 KB | 1 | |
| 07:46, 20 July 2019 | ProB2JavaFX UI Overview New.png (file) |  |
193 KB | 2 | |
| 11:23, 7 February 2018 | AlloyAtelierB.png (file) |  |
193 KB | 1 | |
| 10:22, 17 April 2015 | ProB Phonebook7 spdot bf.png (file) |  |
194 KB | 1 | |
| 10:27, 17 April 2015 | ProB Phonebook7 spdot mixed1.png (file) |  |
195 KB | 1 | |
| 10:26, 17 April 2015 | ProB Phonebook7 spdot random1.png (file) |  |
207 KB | 1 | |
| 08:11, 24 January 2023 | ProB2UI VisB View ExportedHTML.png (file) |  |
211 KB | 1 | |
| 09:52, 17 September 2020 | ProB AtelierB Resource.png (file) |  |
227 KB | 1 | |
| 11:44, 22 June 2015 | ProB NinePrisoners Simple.png (file) |  |
228 KB | 1 | |
| 16:19, 22 December 2015 | RushHour full sfdp.png (file) |  |
252 KB | 1 | |
| 12:44, 9 June 2020 | ProBLTSMinTk.png (file) |  |
268 KB | 1 | |
| 09:00, 3 March 2021 | ProB2JavaFX UI Overview VisB.png (file) |  |
301 KB | 1 | |
| 11:41, 7 September 2016 | Prob latex doc.pdf (file) | |
323 KB | 3 | |
| 05:55, 25 October 2016 | Sbmf 2016 latex.pdf (file) | |
333 KB | 1 | |
| 08:51, 17 April 2020 | ProB HL3 DB Screenshot.png (file) |  |
673 KB | 1 | |
| 09:23, 15 July 2020 | Wd prob.pdf (file) | |
681 KB | 1 | |
| 17:45, 18 December 2015 | MCAlternatingBit sfdp.png (file) |  |
691 KB | 1 | |
| 11:44, 8 November 2022 | ProBTerminalizerReplDemo.gif (file) |  |
719 KB | 1 | |
| 09:00, 21 December 2015 | MCInnerFIFO sfdp.png (file) |  |
756 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 sfdp.png (file) |  |
1,009 KB | 1 | |
| 05:54, 25 October 2016 | Puzzle latex presentation.pdf (file) | |
1,019 KB | 1 | |
| 11:38, 8 November 2022 | ProBTerminalizerDemo.gif (file) |  |
1.73 MB | 2 | |
| 09:17, 21 December 2015 | CANBus sfdp.png (file) |  |
2.52 MB | 1 | |
| 13:00, 21 December 2015 | MCInnerFIFO q3 sfdp.png (file) |  |
2.84 MB | 3 | |
| 09:15, 21 December 2015 | RushHour sfdp.png (file) |  |
3.89 MB | 1 | |
| 08:41, 17 April 2020 | ProB HL3 DB Screenshot.pdf (file) | |
4.21 MB | 1 |
