Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 14:44, 19 January 2010 | ProB PropagationAfterLoad2.png (file) |  |
38 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoad3.png (file) |  |
19 KB | 1 | |
| 15:15, 19 January 2010 | ProB PropagationAfterLoad4.png (file) |  |
72 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadDebug3.png (file) |  |
111 KB | 1 | |
| 14:51, 19 January 2010 | ProB PropagationAfterLoadMsg3.png (file) |  |
21 KB | 1 | |
| 15:46, 20 February 2014 | ProB Queens 40 Screenshot.png (file) |  |
73 KB | 1 | |
| 11:45, 30 July 2013 | ProB RushHour Screenshot.png (file) |  |
163 KB | 1 | |
| 08:23, 23 July 2014 | ProB RushHour XTL Screenshot.png (file) |  |
190 KB | 1 | |
| 14:46, 22 July 2014 | ProB RushHour v2 Screenshot.png (file) |  |
171 KB | 1 | |
| 14:46, 22 July 2014 | ProB RushHour v2 TLC Dialog.png (file) |  |
39 KB | 1 | |
| 16:34, 10 February 2017 | ProB SendMoreMoney Screenshot.png (file) |  |
64 KB | 1 | |
| 09:06, 13 July 2014 | ProB TclTk CountVarMenu.png (file) |  |
63 KB | 1 | |
| 15:30, 25 July 2011 | ProB WhileAfterErrClick.png (file) |  |
94 KB | 1 | |
| 05:49, 27 June 2014 | ProZ jars.png (file) |  |
129 KB | 1 | |
| 11:41, 7 September 2016 | Prob latex doc.pdf (file) |  |
323 KB | 3 | |
| 12:38, 5 March 2020 | Prob show specialized invariants menu.png (file) |  |
41 KB | 1 | |
| 12:39, 5 March 2020 | Prob show specialized invariants result.png (file) |  |
96 KB | 1 | |
| 05:54, 25 October 2016 | Puzzle latex presentation.pdf (file) | |
1,019 KB | 1 | |
| 14:14, 19 February 2015 | RodinInstallNewSoftware.png (file) |  |
44 KB | 3 | |
| 09:18, 22 April 2020 | Rodin Induction Counter ProB.png (file) |  |
51 KB | 1 | |
| 09:00, 22 April 2020 | Rodin Induction Operation ProB.png (file) |  |
38 KB | 2 | |
| 17:06, 21 April 2020 | Rodin Induction Screenshot1.png (file) |  |
62 KB | 1 | |
| 17:07, 21 April 2020 | Rodin Induction Screenshot2.png (file) |  |
71 KB | 1 | |
| 17:08, 21 April 2020 | Rodin Induction Screenshot3.png (file) |  |
121 KB | 1 | |
| 17:15, 21 April 2020 | Rodin Induction ScreenshotFinal.png (file) |  |
31 KB | 1 | |
| 10:24, 5 March 2020 | Rodin export pos.png (file) |  |
81 KB | 2 | |
| 16:19, 22 December 2015 | RushHour full sfdp.png (file) |  |
252 KB | 1 | |
| 09:15, 21 December 2015 | RushHour sfdp.png (file) |  |
3.89 MB | 1 | |
| 05:55, 25 October 2016 | Sbmf 2016 latex.pdf (file) | |
333 KB | 1 | |
| 07:18, 24 December 2011 | StackConstructiveProB.png (file) |  |
145 KB | 1 | |
| 16:29, 27 February 2012 | StackConstructiveProBEvalCommand.png (file) |  |
41 KB | 1 | |
| 16:30, 27 February 2012 | StackConstructiveProBEvalConsoleEmpty.png (file) |  |
12 KB | 3 | |
| 16:36, 27 February 2012 | StackConstructiveProBEvalConsoleFull.png (file) |  |
25 KB | 1 | |
| 16:45, 27 February 2012 | StackConstructiveProBEvalConsoleFull2.png (file) |  |
20 KB | 1 | |
| 15:50, 28 October 2014 | StopWhenAllOpsCovered.png (file) |  |
22 KB | 1 | |
| 15:44, 27 February 2012 | Temporal Model Checker settings.png (file) |  |
28 KB | 1 | |
| 13:45, 21 December 2015 | Threads51 POR proj.png (file) |  |
45 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 POR sfdp.png (file) |  |
78 KB | 1 | |
| 13:45, 21 December 2015 | Threads51 proj.png (file) |  |
54 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 sfdp.png (file) |  |
1,009 KB | 1 | |
| 14:05, 11 October 2012 | TkWindowsDownload.png (file) |  |
38 KB | 1 | |
| 09:50, 15 April 2020 | WD Atom Example.png (file) |  |
32 KB | 1 | |
| 09:50, 15 April 2020 | WD Atom Settings.png (file) |  |
56 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk List.png (file) |  |
46 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk Menu.png (file) |  |
165 KB | 1 | |
| 09:44, 15 April 2020 | WD Tk Warnings.png (file) |  |
165 KB | 1 | |
| 07:47, 17 June 2020 | WD VSCode Example1.png (file) |  |
38 KB | 1 | |
| 07:47, 17 June 2020 | WD VSCode Example2.png (file) |  |
44 KB | 1 | |
| 07:46, 17 June 2020 | WD VSCode Settings.png (file) |  |
160 KB | 1 | |
| 09:23, 15 July 2020 | Wd prob.pdf (file) | |
681 KB | 1 |
