Schewe, K., Ferrarotti, F., Rivière, P., Singh, N. K., Dupont, G., & Ameur, Y. A. (2025). TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory.
Chicago-Zitierstil (17. Ausg.)Schewe, Klaus-Dieter, Flavio Ferrarotti, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, und Yamine Aït Ameur. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory. 2025.
MLA-Zitierstil (9. Ausg.)Schewe, Klaus-Dieter, et al. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.