Extending Temporal Logic for Capturing Evolving Behaviour

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.

@inproceedings{ConradS97,
  title = {Extending Temporal Logic for Capturing Evolving Behaviour},
  author = {Stefan Conrad and Gunter Saake},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/ConradS97},
  cites = {0},
  citedby = {0},
  pages = {60-71},
  booktitle = {Foundations of Intelligent Systems, 10th International Symposium, ISMIS  97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings},
  editor = {Zbigniew W. Ras and Andrzej Skowron},
  volume = {1325},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63614-5},
}