Leneutre, J., Malvone, V., & Ortiz, J. (2024). Probabilistic Obstruction Temporal Logic: A Probabilistic Logic to Reason about Dynamic Models.
Chicago-Zitierstil (17. Ausg.)Leneutre, Jean, Vadim Malvone, und James Ortiz. Probabilistic Obstruction Temporal Logic: A Probabilistic Logic to Reason About Dynamic Models. 2024.
MLA-Zitierstil (9. Ausg.)Leneutre, Jean, et al. Probabilistic Obstruction Temporal Logic: A Probabilistic Logic to Reason About Dynamic Models. 2024.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.