ABZ14: Revision history

23 February 2023

• curprev 12:5412:54, 23 February 2023‎ David Geleßus talk contribs‎ 2,443 bytes −10‎ Update links

3 February 2021

• curprev 15:2615:26, 3 February 2021‎ David Geleßus talk contribs‎ 2,453 bytes −57‎ Update some links

23 April 2020

• curprev 08:0908:09, 23 April 2020‎ Michael Leuschel talk contribs‎ 2,510 bytes +9‎ →‎ProB Live Visualisations
• curprev 08:0808:08, 23 April 2020‎ Michael Leuschel talk contribs‎ 2,501 bytes +2‎ →‎ProB Live Visualisations

27 April 2016

• curprev 12:1712:17, 27 April 2016‎ Michael Leuschel talk contribs‎ 2,499 bytes −1‎ →‎ProB Live Visualisations
• curprev 12:1712:17, 27 April 2016‎ Michael Leuschel talk contribs‎ 2,500 bytes −1‎ →‎ProB Live Visualisations

22 January 2016

• curprev 15:2715:27, 22 January 2016‎ Lukas Ladenberger talk contribs‎ 2,501 bytes −31‎ →‎Links

22 October 2015

• curprev 14:4614:46, 22 October 2015‎ Lukas Ladenberger talk contribs‎ 2,532 bytes +4‎ →‎ProB Live Visualisations

19 October 2015

• curprev 10:2410:24, 19 October 2015‎ Lukas Ladenberger talk contribs‎ 2,528 bytes +1‎ →‎ProB Live Visualisations
• curprev 10:2210:22, 19 October 2015‎ Lukas Ladenberger talk contribs‎ 2,527 bytes +1‎ →‎ProB Live Visualisations
• curprev 10:0010:00, 19 October 2015‎ Sebastian Krings talk contribs‎ 2,526 bytes +1‎ →‎References
• curprev 09:5609:56, 19 October 2015‎ Sebastian Krings talk contribs‎ 2,525 bytes +104‎ →‎BMotion Studio for ProB Video

27 February 2015

• curprev 17:2017:20, 27 February 2015‎ Lukas Ladenberger talk contribs‎ 2,421 bytes +2‎ →‎ProB Live Visualisations
• curprev 11:5811:58, 27 February 2015‎ Lukas Ladenberger talk contribs‎ 2,419 bytes +4‎ →‎ProB BMotion Studio Video

26 February 2015

• curprev 11:3111:31, 26 February 2015‎ Lukas Ladenberger talk contribs‎ 2,415 bytes 0‎ →‎ProB Live Visualisations
• curprev 10:5210:52, 26 February 2015‎ Lukas Ladenberger talk contribs‎ 2,415 bytes −1‎ →‎ProB Live Visualisations

16 February 2015

• curprev 08:0708:07, 16 February 2015‎ Jens Bendisposto talk contribs‎ 2,416 bytes +230‎ No edit summary

14 February 2015

• curprev 22:1222:12, 14 February 2015‎ Lukas Ladenberger talk contribs‎ 2,186 bytes +9‎ →‎Resources

13 February 2015

• curprev 12:2912:29, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 2,177 bytes −143‎ →‎ProB Live Visualisations of other Event-B models (click to join)
• curprev 08:3208:32, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 2,320 bytes +17‎ →‎ProB Live Visualisations of other Event-B models
• curprev 08:3008:30, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 2,303 bytes +193‎ No edit summary
• curprev 08:2708:27, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 2,110 bytes +6‎ No edit summary
• curprev 08:2608:26, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 2,104 bytes +385‎ No edit summary
• curprev 08:1908:19, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 1,719 bytes +1‎ →‎ProB Live Visualisations of Event-B models
• curprev 08:0508:05, 13 February 2015‎ Lukas Ladenberger talk contribs‎ 1,718 bytes +109‎ →‎ProB Live Visualisations of Event-B models

12 February 2015

• curprev 21:5121:51, 12 February 2015‎ Lukas Ladenberger talk contribs‎ 1,609 bytes +19‎ No edit summary
• curprev 21:5121:51, 12 February 2015‎ Lukas Ladenberger talk contribs‎ 1,590 bytes +15‎ No edit summary
• curprev 21:5021:50, 12 February 2015‎ Lukas Ladenberger talk contribs‎ 1,575 bytes +332‎ No edit summary
• curprev 21:4421:44, 12 February 2015‎ Lukas Ladenberger talk contribs‎ 1,243 bytes +181‎ No edit summary
• curprev 21:4121:41, 12 February 2015‎ Lukas Ladenberger talk contribs‎ 1,062 bytes 0‎ →‎ProB Live Visualization (click to join)

30 January 2015

• curprev 12:1612:16, 30 January 2015‎ Lukas Ladenberger talk contribs‎ 1,062 bytes −27‎ →‎ProB Live Visualization (click to join)
• curprev 12:1412:14, 30 January 2015‎ Lukas Ladenberger talk contribs‎ 1,089 bytes +27‎ →‎ProB Live Visualization (click to join)
• curprev 12:0712:07, 30 January 2015‎ Lukas Ladenberger talk contribs‎ 1,062 bytes −29‎ →‎ProB Live Visualization (click to join)

23 January 2015

• curprev 12:0412:04, 23 January 2015‎ Michael Leuschel talk contribs‎ 1,091 bytes 0‎ →‎ProB Live Visualization (click to join)

28 October 2014

• curprev 12:2212:22, 28 October 2014‎ Dominik Hansen talk contribs‎ 1,091 bytes −19‎ No edit summary
• curprev 12:0312:03, 28 October 2014‎ Dominik Hansen talk contribs‎ 1,110 bytes −1‎ →‎Ressources

23 July 2014

• curprev 10:1810:18, 23 July 2014‎ Jens Bendisposto talk contribs‎ 1,111 bytes 0‎ No edit summary

11 July 2014

• curprev 14:5614:56, 11 July 2014‎ Jens Bendisposto talk contribs‎ 1,111 bytes 0‎ →‎ProB Live Visualization (click to join)

1 July 2014

• curprev 11:2611:26, 1 July 2014‎ Jens Bendisposto talk contribs‎ 1,111 bytes 0‎ No edit summary

4 June 2014

• curprev 05:5205:52, 4 June 2014‎ Jens Bendisposto talk contribs‎ 1,111 bytes −8‎ Undo revision 2167 by Jens Bendisposto (Talk)

6 April 2014

• curprev 06:0606:06, 6 April 2014‎ Jens Bendisposto talk contribs‎ 1,119 bytes +8‎ No edit summary

12 March 2014

• curprev 10:3410:34, 12 March 2014‎ Lukas Ladenberger talk contribs‎ 1,111 bytes +37‎ →‎Ressources

11 March 2014

• curprev 13:0613:06, 11 March 2014‎ Jens Bendisposto talk contribs‎ 1,074 bytes 0‎ No edit summary

21 February 2014

• curprev 08:2708:27, 21 February 2014‎ Michael Leuschel talk contribs‎ m 1,074 bytes +10‎ No edit summary
• curprev 08:2608:26, 21 February 2014‎ Michael Leuschel talk contribs‎ 1,064 bytes +150‎ No edit summary

20 February 2014

• curprev 12:2712:27, 20 February 2014‎ Jens Bendisposto talk contribs‎ 914 bytes 0‎ No edit summary

18 February 2014

• curprev 13:3813:38, 18 February 2014‎ Jens Bendisposto talk contribs‎ 914 bytes 0‎ No edit summary

17 February 2014

• curprev 08:4608:46, 17 February 2014‎ Jens Bendisposto talk contribs‎ 914 bytes 0‎ No edit summary

14 February 2014

• curprev 12:5012:50, 14 February 2014‎ Jens Bendisposto talk contribs‎ 914 bytes +16‎ →‎Live Visualization
• curprev 12:4912:49, 14 February 2014‎ Jens Bendisposto talk contribs‎ 898 bytes +242‎ No edit summary