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.

Download

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
Date Deposited: 10 Mar 2000
Last Modified: 27 Mar 2014 19:54
Publisher: Springer Verlag
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/252676

Actions (login required)

View Item View Item