APA (7th ed.) Citation

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 Style (17th ed.) Citation

Schewe, Klaus-Dieter, Flavio Ferrarotti, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, and Yamine Aït Ameur. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory. 2025.

MLA (9th ed.) Citation

Schewe, Klaus-Dieter, et al. TREBL -- A Relative Complete Temporal Event-B Logic. Part I: Theory. 2025.