User contributions for Michael Leuschel

20 January 2016

• 15:0515:05, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot1.png No edit summary current
• 15:0515:05, 20 January 2016 diff hist +151 Argumentation Theory No edit summary
• 15:0315:03, 20 January 2016 diff hist +42 Argumentation Theory No edit summary
• 15:0315:03, 20 January 2016 diff hist +197 Argumentation Theory No edit summary
• 15:0015:00, 20 January 2016 diff hist +4 Argumentation Theory No edit summary
• 14:5914:59, 20 January 2016 diff hist +1,954 Argumentation Theory No edit summary
• 14:4914:49, 20 January 2016 diff hist +1 Argumentation Theory No edit summary
• 14:4814:48, 20 January 2016 diff hist +249 Argumentation Theory No edit summary
• 14:4614:46, 20 January 2016 diff hist +250 Argumentation Theory No edit summary
• 14:3714:37, 20 January 2016 diff hist 0 Argumentation Theory No edit summary
• 14:3614:36, 20 January 2016 diff hist 0 N File:ProB Argumentation Dot.png No edit summary current
• 14:3614:36, 20 January 2016 diff hist 0 N File:ProB Argumentation VisCurStateAsGraph.png No edit summary current
• 14:3614:36, 20 January 2016 diff hist 0 N File:ProB Argumentation Screenshot2.png No edit summary current
• 14:3514:35, 20 January 2016 diff hist 0 N File:ProB Argumentation Screenshot1.png No edit summary
• 14:3514:35, 20 January 2016 diff hist +1,012 Argumentation Theory No edit summary
• 14:2814:28, 20 January 2016 diff hist +739 Argumentation Theory No edit summary
• 14:2514:25, 20 January 2016 diff hist +1,366 N Argumentation Theory Created page with "Below we try to model some concepts of argumentation theory in B. The examples try to show that set theory can be used to model some aspects of argumentation theory quite natu..."
• 14:2114:21, 20 January 2016 diff hist +27 User Manual →Sample Models

13 January 2016

• 14:1014:10, 13 January 2016 diff hist +617 TLC →How to use TLC

22 December 2015

• 16:1916:19, 22 December 2015 diff hist −1 State space visualization examples →RushHour current
• 16:1916:19, 22 December 2015 diff hist 0 N File:RushHour full sfdp.png No edit summary current
• 16:1816:18, 22 December 2015 diff hist +252 State space visualization examples →RushHour
• 08:4808:48, 22 December 2015 diff hist +23 Download →Nightly Build
• 08:4808:48, 22 December 2015 diff hist +617 Download →Nightly Build

21 December 2015

• 14:0114:01, 21 December 2015 diff hist +94 Download →Nightly Build
• 13:5813:58, 21 December 2015 diff hist +136 Download →Nightly Build
• 13:4913:49, 21 December 2015 diff hist −5,285 State space visualization examples No edit summary
• 13:4813:48, 21 December 2015 diff hist +5,287 State space visualization examples →Threads - Partial Order Reduction
• 13:4513:45, 21 December 2015 diff hist 0 State space visualization examples →Threads - Partial Order Reduction
• 13:4513:45, 21 December 2015 diff hist 0 N File:Threads51 POR proj.png No edit summary current
• 13:4513:45, 21 December 2015 diff hist 0 N File:Threads51 proj.png No edit summary current
• 13:4513:45, 21 December 2015 diff hist +421 State space visualization examples →Threads - Partial Order Reduction
• 13:3913:39, 21 December 2015 diff hist +1,045 State space visualization examples →Threads - Partial Order Reduction
• 13:3813:38, 21 December 2015 diff hist +159 State space visualization examples →Threads - Partial Order Reduction
• 13:3713:37, 21 December 2015 diff hist 0 State space visualization examples →Threads - Partial Order Reduction
• 13:3713:37, 21 December 2015 diff hist 0 State space visualization examples →Threads - Partial Order Reduction
• 13:3713:37, 21 December 2015 diff hist 0 N File:Threads51 POR sfdp.png No edit summary current
• 13:3713:37, 21 December 2015 diff hist 0 N File:Threads51 sfdp.png No edit summary current
• 13:3613:36, 21 December 2015 diff hist +381 State space visualization examples →Hanoi (6 Discs)
• 13:0013:00, 21 December 2015 diff hist 0 File:MCInnerFIFO q3 sfdp.png Michael Leuschel uploaded a new version of File:MCInnerFIFO q3 sfdp.png current
• 12:5812:58, 21 December 2015 diff hist 0 File:MCInnerFIFO q3 sfdp.png Michael Leuschel uploaded a new version of File:MCInnerFIFO q3 sfdp.png
• 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