Executing temporal logic: Review and prospects

Howard Barringer; Dov Gabbay

doi:10.1007/3-540-50403-6_35

Executing temporal logic: Review and prospects

Howard Barringer, Dov Gabbay

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	CONCURRENCY 1988 - International Conference on Concurrency, Proceedings
Editors	Frederich H. Vogt
Publisher	Springer Verlag
Pages	104-105
Number of pages	2
ISBN (Print)	9783540504030
DOIs	https://doi.org/10.1007/3-540-50403-6_35
State	Published - 1988
Externally published	Yes
Event	International Conference on Concurrency Theory, CONCURRENCY 1988 - Hamburg, Germany Duration: 18 Oct 1988 → 19 Oct 1988

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	335 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Conference on Concurrency Theory, CONCURRENCY 1988
Country/Territory	Germany
City	Hamburg
Period	18/10/88 → 19/10/88

Access to Document

10.1007/3-540-50403-6_35

Cite this

Barringer, H., & Gabbay, D. (1988). Executing temporal logic: Review and prospects. In F. H. Vogt (Ed.), CONCURRENCY 1988 - International Conference on Concurrency, Proceedings (pp. 104-105). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 335 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-50403-6_35

@inproceedings{bb44633a4e744782aec97e860ef566b7,

title = "Executing temporal logic: Review and prospects",

author = "Howard Barringer and Dov Gabbay",

year = "1988",

doi = "10.1007/3-540-50403-6_35",

language = "אנגלית",

isbn = "9783540504030",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "104--105",

editor = "Vogt, {Frederich H.}",

booktitle = "CONCURRENCY 1988 - International Conference on Concurrency, Proceedings",

address = "גרמניה",

note = "International Conference on Concurrency Theory, CONCURRENCY 1988 ; Conference date: 18-10-1988 Through 19-10-1988",

}

Barringer, H & Gabbay, D 1988, Executing temporal logic: Review and prospects. in FH Vogt (ed.), CONCURRENCY 1988 - International Conference on Concurrency, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 335 LNCS, Springer Verlag, pp. 104-105, International Conference on Concurrency Theory, CONCURRENCY 1988, Hamburg, Germany, 18/10/88. https://doi.org/10.1007/3-540-50403-6_35

Executing temporal logic: Review and prospects. / Barringer, Howard; Gabbay, Dov.
CONCURRENCY 1988 - International Conference on Concurrency, Proceedings. ed. / Frederich H. Vogt. Springer Verlag, 1988. p. 104-105 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 335 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Executing temporal logic

T2 - International Conference on Concurrency Theory, CONCURRENCY 1988

AU - Barringer, Howard

AU - Gabbay, Dov

PY - 1988

Y1 - 1988

UR - http://www.scopus.com/inward/record.url?scp=85034648168&partnerID=8YFLogxK

U2 - 10.1007/3-540-50403-6_35

DO - 10.1007/3-540-50403-6_35

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85034648168

SN - 9783540504030

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 104

EP - 105

BT - CONCURRENCY 1988 - International Conference on Concurrency, Proceedings

A2 - Vogt, Frederich H.

PB - Springer Verlag

Y2 - 18 October 1988 through 19 October 1988

ER -

Executing temporal logic: Review and prospects

Publication series

Conference

Access to Document

Other files and links

Cite this