Propositional Linear Temporal Logic and Language

Nitsche, Ulrich (1994) Propositional Linear Temporal Logic and Language. Proceedings of the 3rd International Symposium on Logical Foundations of Computer Science (LFCS'94) Springer Verlag, 265--277.


Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
ISBNs: 3540581405
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 252676
Accepted Date and Publication Date:
Date Deposited: 10 Mar 2000
Last Modified: 27 Mar 2014 19:54
Further Information:Google Scholar

Actions (login required)

View Item View Item