|
|||||
|
|
A relational model for temporal logic |
|
| Authors: | von Karger B; Berghammer R |
| Institution: | Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel, Preusserstrasse 1-9, D-24105 Kiel, Germany. E-mail: bvk@informatik.uni-kiel.e rub@informatik.uni-kiel.de |
| Abstract: | |
| Keywords: | Relational algebra reactive systems temporal algebra temporal logic |
| 本文献已被 Oxford 等数据库收录！ | |