Hähnle, Reiner ; Ibens, Ortrun
eds.: Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen (1994)
Improving Temporal Logic Tableaux Using Integer Constraints.
Conference or Workshop Item, Bibliographie
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 1994 |
Editors: | Gabbay, Ortrun M. ; Ohlbach, Hans Jürgen |
Creators: | Hähnle, Reiner ; Ibens, Ortrun |
Type of entry: | Bibliographie |
Title: | Improving Temporal Logic Tableaux Using Integer Constraints |
Language: | German |
Date: | 1994 |
Publisher: | Springer-Verlag |
Book Title: | Proc. International Conference on Temporal Logic, Bonn, Germany |
Series: | LNCS |
Series Volume: | 827 |
Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
Date Deposited: | 31 Dec 2016 10:40 |
Last Modified: | 16 May 2018 12:06 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Send an inquiry |
Options (only for editors)
Show editorial Details |