Uploads by Michael Leuschel
This special page shows all uploaded files.
| Date | Name | Thumbnail | Size | Description | Versions |
|---|---|---|---|---|---|
| 09:44, 15 April 2020 | WD Tk Menu.png (file) |  |
165 KB | 1 | |
| 12:39, 5 March 2020 | Prob show specialized invariants result.png (file) |  |
96 KB | 1 | |
| 12:38, 5 March 2020 | Prob show specialized invariants menu.png (file) |  |
41 KB | 1 | |
| 10:24, 5 March 2020 | Rodin export pos.png (file) |  |
81 KB | 2 | |
| 07:46, 20 July 2019 | ProB2JavaFX UI Overview New.png (file) |  |
193 KB | 2 | |
| 09:23, 1 December 2018 | ExternalFunctions.pdf (file) |  |
174 KB | 1 | |
| 11:23, 7 February 2018 | AlloyAtelierB.png (file) |  |
193 KB | 1 | |
| 11:17, 7 February 2018 | ProBAlloyRiver.png (file) |  |
177 KB | 1 | |
| 08:24, 7 February 2018 | ProBAlloyQueens.png (file) |  |
138 KB | 1 | |
| 07:45, 6 October 2017 | EvalB.png (file) |  |
70 KB | 1 | |
| 08:05, 6 September 2017 | ProB2JavaFX UI Overview.png (file) |  |
106 KB | 1 | |
| 16:34, 10 February 2017 | ProB SendMoreMoney Screenshot.png (file) |  |
64 KB | 1 | |
| 05:55, 25 October 2016 | Sbmf 2016 latex.pdf (file) | |
333 KB | 1 | |
| 05:54, 25 October 2016 | Puzzle latex presentation.pdf (file) | |
1,019 KB | 1 | |
| 11:41, 7 September 2016 | Prob latex doc.pdf (file) | |
323 KB | 3 | |
| 13:51, 26 February 2016 | B-mode.el.zip (file) |  |
8 KB | 1 | |
| 14:43, 18 February 2016 | ProB Bishops 8 14 Screenshot.png (file) |  |
13 KB | 1 | |
| 07:12, 2 February 2016 | ProB DieHard Screenshot.png (file) |  |
166 KB | 1 | |
| 07:06, 2 February 2016 | ProB Goal Found.png (file) |  |
14 KB | 2 | |
| 07:05, 2 February 2016 | Jars Panes.png (file) |  |
41 KB | 2 | |
| 07:04, 2 February 2016 | ProB ModelCheckGoalBox.png (file) |  |
20 KB | 1 | |
| 18:42, 20 January 2016 | ProB Argumentation CustomDot.png (file) |  |
21 KB | 1 | |
| 15:41, 20 January 2016 | ProBRodinArgumentationState.png (file) |  |
40 KB | 1 | |
| 15:15, 20 January 2016 | ProB Argumentation Screenshot1.png (file) |  |
173 KB | 2 | |
| 15:06, 20 January 2016 | ProB Argumentation Dot3.png (file) |  |
39 KB | 1 | |
| 15:05, 20 January 2016 | ProB Argumentation Dot2.png (file) |  |
39 KB | 1 | |
| 15:05, 20 January 2016 | ProB Argumentation Dot1.png (file) |  |
39 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Dot.png (file) |  |
38 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation VisCurStateAsGraph.png (file) |  |
50 KB | 1 | |
| 14:36, 20 January 2016 | ProB Argumentation Screenshot2.png (file) |  |
35 KB | 1 | |
| 16:19, 22 December 2015 | RushHour full sfdp.png (file) |  |
252 KB | 1 | |
| 13:45, 21 December 2015 | Threads51 POR proj.png (file) |  |
45 KB | 1 | |
| 13:45, 21 December 2015 | Threads51 proj.png (file) |  |
54 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 POR sfdp.png (file) |  |
78 KB | 1 | |
| 13:37, 21 December 2015 | Threads51 sfdp.png (file) |  |
1,009 KB | 1 | |
| 13:00, 21 December 2015 | MCInnerFIFO q3 sfdp.png (file) |  |
2.84 MB | 3 | |
| 12:16, 21 December 2015 | Hanoi6 sfdp.png (file) |  |
185 KB | 2 | |
| 12:15, 21 December 2015 | Hanoi6 proj cardondest.png (file) |  |
41 KB | 1 | |
| 10:01, 21 December 2015 | MCInnerFIFO proj cardq.png (file) |  |
37 KB | 1 | |
| 09:17, 21 December 2015 | CANBus sfdp.png (file) |  |
2.52 MB | 1 | |
| 09:15, 21 December 2015 | RushHour sfdp.png (file) |  |
3.89 MB | 1 | |
| 09:00, 21 December 2015 | MCInnerFIFO sfdp.png (file) |  |
756 KB | 1 | |
| 18:53, 18 December 2015 | MCAlternatingBit projsrBit.png (file) |  |
57 KB | 1 | |
| 17:45, 18 December 2015 | MCAlternatingBit sfdp.png (file) |  |
691 KB | 1 | |
| 14:59, 15 December 2015 | ProB BridgesSolOmni.png (file) |  |
24 KB | 1 | |
| 14:58, 15 December 2015 | ProB BridgesPuzzle.png (file) |  |
17 KB | 2 | |
| 14:43, 15 December 2015 | ProB BridgesSol.png (file) |  |
49 KB | 1 | |
| 11:13, 24 November 2015 | ProB ApplesOranges Table.png (file) |  |
21 KB | 1 | |
| 06:42, 2 September 2015 | CoverageMenu.png (file) |  |
65 KB | 1 | |
| 06:38, 2 September 2015 | MCDC Coverage ABZ.png (file) |  |
150 KB | 1 |
