Chronicles: Formalization of a Temporal Model

Thomas Guyet, Philippe Besnard. Chronicles: Formalization of a Temporal Model. Springer Briefs in Computer Science, Springer, 2023. [doi]

Abstract

Abstract is missing.