Extending Temporal Logic for Capturing Evolving Behaviour
| author/s: | Stefan Conrad, Gunter Saake |
| type: | Inproceedings |
| editor: | Z.W. Ras, A. Skowron |
| booktitle: | Foundations of Intelligent Systems (Proceedings 10th Int. Symposium, ISMIS'97, Charlotte, North Carolina, October 1997) |
| publisher: | Springer-Verlag, LNAI 1325 |
| address: | Berlin |
| pages: | 60-71 |
| month: | October |
| year: | 1997 |
E-Mail senden