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