Meta data
- BibTeX key
- conf/stoc/SistlaC82
- entry type
- inproceedings
- booktitle
- STOC
- year
- 1982
- pages
- 159-168
- publisher
- ACM
- crossref
- conf/stoc/STOC14
- ee
- https://doi.org/10.1145/800070.802189
- isbn
- 0-89791-067-2
- url
- http://dblp.uni-trier.de/db/conf/stoc/stoc82.html#SistlaC82
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/stoc/SistlaC82
%A Sistla, A. Prasad
%A Clarke, Edmund M.
%B STOC
%D 1982
%E Lewis, Harry R.
%E Simons, Barbara B.
%E Burkhard, Walter A.
%E Landweber, Lawrence H.
%I ACM
%K dblp
%P 159-168
%T The Complexity of Propositional Linear Temporal Logics
%U http://dblp.uni-trier.de/db/conf/stoc/stoc82.html#SistlaC82
%@ 0-89791-067-2
@inproceedings{conf/stoc/SistlaC82,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Sistla, A. Prasad and Clarke, Edmund M.},
biburl = {https://www.bibsonomy.org/bibtex/2727e0570d8c8e67e317b3c6490a8074f/dblp},
booktitle = {STOC},
crossref = {conf/stoc/STOC14},
editor = {Lewis, Harry R. and Simons, Barbara B. and Burkhard, Walter A. and Landweber, Lawrence H.},
ee = {https://doi.org/10.1145/800070.802189},
interhash = {157207e153f9de75a80e047dde1793bb},
intrahash = {727e0570d8c8e67e317b3c6490a8074f},
isbn = {0-89791-067-2},
keywords = {dblp},
pages = {159-168},
publisher = {ACM},
timestamp = {2018-11-15T15:57:46.000+0100},
title = {The Complexity of Propositional Linear Temporal Logics},
url = {http://dblp.uni-trier.de/db/conf/stoc/stoc82.html#SistlaC82},
year = 1982
}