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,308 edits. Account created on 18 January 2010.

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
14:4314:43, 15 December 2015 diff hist 0 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
14:4314:43, 15 December 2015 diff hist 0 N File:ProB BridgesSol.png No edit summary current
14:4314:43, 15 December 2015 diff hist 0 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
14:4114:41, 15 December 2015 diff hist 0 Bridges Puzzle (Hashiwokakero) →Adding graphical visualization
14:4014:40, 15 December 2015 diff hist +2,676 Bridges Puzzle (Hashiwokakero) No edit summary
14:3414:34, 15 December 2015 diff hist +1,985 N Bridges Puzzle (Hashiwokakero) Created page with "The [https://en.wikipedia.org/wiki/Hashiwokakero Hashiwokakero] Puzzle is a logical puzzle where one has to build <b>bridges</b> between islands. The puzzle is also known unde..."
14:2114:21, 15 December 2015 diff hist +37 User Manual →Sample Models

14:2614:26, 30 November 2015 diff hist 0 Links →Related Tools
14:2614:26, 30 November 2015 diff hist +84 Links →Related Tools

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