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 and Applied Science > Electronics and Computer Science |
| Item ID: | 252676 |
| Date Deposited: | 10 Mar 2000 |
| Last Modified: | 02 Mar 2012 13:18 |
| Contributors: | Nitsche, Ulrich (Author) Nerode, Anil (Editor) Matiyasevich, Yuri V. (Editor) |
| Date: | 1994 |
| Status: | Published |
| Publisher: | Springer Verlag |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/252676 |
Actions (login required)
 |
View Item |
