Stefan Conrad, Gunter Saake. Extending Temporal Logic for Capturing Evolving Behaviour. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 10th International Symposium, ISMIS 97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings. Volume 1325 of Lecture Notes in Computer Science, pages 60-71, Springer, 1997.
Abstract is missing.