User contributions for Michael Leuschel - ProB Documentation

Navigation
Special Pages
- Recent changes

User
- Log in

User contributions for Michael Leuschel

Results for Michael Leuschel talk block log uploads logs

A user with 3,321 edits. Account created on 18 January 2010.

12:2112:21, 21 December 2015 diff hist +188 State space visualization examples →Hanoi (6 Discs)
12:1612:16, 21 December 2015 diff hist 0 File:Hanoi6 sfdp.png Michael Leuschel uploaded a new version of File:Hanoi6 sfdp.png current
12:1512:15, 21 December 2015 diff hist 0 N File:Hanoi6 proj cardondest.png No edit summary current
12:1512:15, 21 December 2015 diff hist +195 State space visualization examples →Hanoi (6 Discs)
12:1512:15, 21 December 2015 diff hist −1 State space visualization examples →Hanoi (6 Discs)
12:1312:13, 21 December 2015 diff hist 0 N File:Hanoi6 sfdp.png No edit summary
12:1312:13, 21 December 2015 diff hist +207 State space visualization examples →CAN Bus
10:0610:06, 21 December 2015 diff hist −201 State space visualization examples →MCInnerFIFO
10:0310:03, 21 December 2015 diff hist +45 State space visualization examples →CAN Bus
10:0310:03, 21 December 2015 diff hist 0 State space visualization examples →MCInnerFIFO
10:0310:03, 21 December 2015 diff hist +12 State space visualization examples →MCInnerFIFO
10:0110:01, 21 December 2015 diff hist 0 N File:MCInnerFIFO proj cardq.png No edit summary current
10:0110:01, 21 December 2015 diff hist 0 N File:MCInnerFIFO q3 sfdp.png No edit summary
10:0110:01, 21 December 2015 diff hist +454 State space visualization examples No edit summary
09:1709:17, 21 December 2015 diff hist 0 N File:CANBus sfdp.png No edit summary current
09:1709:17, 21 December 2015 diff hist +188 State space visualization examples →RushHour
09:1509:15, 21 December 2015 diff hist 0 N File:RushHour sfdp.png No edit summary current
09:1509:15, 21 December 2015 diff hist +226 State space visualization examples →MCInnerFIFO
09:1109:11, 21 December 2015 diff hist −9 State space visualization examples →MCInnerFIFO
09:0009:00, 21 December 2015 diff hist 0 N File:MCInnerFIFO sfdp.png No edit summary current

14:4214:42, 20 December 2015 diff hist +220 State space visualization examples →Alternating Bit Protocol
09:1709:17, 20 December 2015 diff hist +102 State space visualization examples →MCInnerFIFO
09:1309:13, 20 December 2015 diff hist +459 State space visualization examples No edit summary

18:5318:53, 18 December 2015 diff hist 0 N File:MCAlternatingBit projsrBit.png No edit summary current
18:5218:52, 18 December 2015 diff hist +138 State space visualization examples No edit summary
18:4718:47, 18 December 2015 diff hist −40 State space visualization examples →Alternating Bit Protocol
18:4518:45, 18 December 2015 diff hist 0 State space visualization examples →Alternating Bit Protocol
18:4518:45, 18 December 2015 diff hist +57 State space visualization examples →Alternating Bit Protocol
17:5417:54, 18 December 2015 diff hist +34 State space visualization examples →Alternating Bit Protocol
17:5417:54, 18 December 2015 diff hist +1 State space visualization examples →Alternating Bit Protocol
17:5317:53, 18 December 2015 diff hist +182 State space visualization examples →Alternating Bit Protocol
17:5117:51, 18 December 2015 diff hist +69 State space visualization examples →Alternating Bit Protocol
17:4817:48, 18 December 2015 diff hist +686 State space visualization examples →Alternating Bit Protocol
17:4617:46, 18 December 2015 diff hist +1 State space visualization examples →Alternating Bit Protocol
17:4617:46, 18 December 2015 diff hist +13 State space visualization examples →Alternating Bit Protocol
17:4517:45, 18 December 2015 diff hist 0 N File:MCAlternatingBit sfdp.png No edit summary current
17:4517:45, 18 December 2015 diff hist +318 N State space visualization examples Created page with " == Alternating Bit Protocol == This is a visualisation of 3643 states and 11115 transitions of the MCAlternatingBit.tla model distributed with the TLC model checker, loaded..."
17:4217:42, 18 December 2015 diff hist +230 State Space Visualization →Statespace Projections
17:4017:40, 18 December 2015 diff hist −2 State Space Visualization →Other Visualization Commands =
17:4017:40, 18 December 2015 diff hist +196 State Space Visualization No edit summary
17:3517:35, 18 December 2015 diff hist +209 State Space Visualization No edit summary

15:0115:01, 15 December 2015 diff hist −18 Bridges Puzzle (Hashiwokakero) No edit summary
15:0115:01, 15 December 2015 diff hist −2 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
15:0115:01, 15 December 2015 diff hist +71 Bridges Puzzle (Hashiwokakero) No edit summary
14:5914:59, 15 December 2015 diff hist 0 N File:ProB BridgesSolOmni.png No edit summary current
14:5914:59, 15 December 2015 diff hist +231 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
14:5814:58, 15 December 2015 diff hist 0 File:ProB BridgesPuzzle.png Michael Leuschel uploaded a new version of File:ProB BridgesPuzzle.png current
14:5214:52, 15 December 2015 diff hist +335 Bridges Puzzle (Hashiwokakero) No edit summary
14:4714:47, 15 December 2015 diff hist 0 N File:ProB BridgesPuzzle.png No edit summary
14:4714:47, 15 December 2015 diff hist +79 Bridges Puzzle (Hashiwokakero) No edit summary

Retrieved from "https://prob.hhu.de/w/index.php?title=Special:Contributions/Michael_Leuschel"