Christel Baier;Mila E. Majster-Cederbaum
-;-
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae