Bombardelli, A., & Tonetta, S. (2023). Asynchronous Composition of LTL Properties over Infinite and Finite Traces.
Chicago-Zitierstil (17. Ausg.)Bombardelli, Alberto, und Stefano Tonetta. Asynchronous Composition of LTL Properties over Infinite and Finite Traces. 2023.
MLA-Zitierstil (9. Ausg.)Bombardelli, Alberto, und Stefano Tonetta. Asynchronous Composition of LTL Properties over Infinite and Finite Traces. 2023.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.