Executing Temporal Logic: Review and Prospects (Abstract)

Howard Barringer; Dov M Gabbay; Friedrich H Vogt

Executing Temporal Logic: Review and Prospects (Abstract)

Howard Barringer, Dov M Gabbay, Friedrich H Vogt (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Concurrency
Editors	Friedrich H Vogt
Publisher	Springer Nature
Pages	104-105
Number of pages	2
Volume	335
ISBN (Print)	3-540-50403-6
Publication status	Published - 1988
Event	Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/concur/concur1988.html#BarringerG88http://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerG88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerG88

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/concur/concur1988.html#BarringerG88http://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerG88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerG88

Access to Document

Cite this

@inproceedings{f10a406a8f624b418f920777321f2ac7,

title = "Executing Temporal Logic: Review and Prospects (Abstract)",

author = "Howard Barringer and Gabbay, {Dov M} and Vogt, {Friedrich H}",

year = "1988",

language = "English",

isbn = "3-540-50403-6",

volume = "335",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "104--105",

editor = "Vogt, {Friedrich H}",

booktitle = "Concurrency",

address = "United States",

note = "Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/concur/concur1988.html#BarringerG88http://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerG88.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerG88",

}

Barringer, H, Gabbay, DM & Vogt, FH (ed.) 1988, Executing Temporal Logic: Review and Prospects (Abstract). in FH Vogt (ed.), Concurrency. vol. 335, Lecture Notes in Computer Science, Springer Nature, pp. 104-105, Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/concur/concur1988.html#BarringerG88>

TY - GEN

T1 - Executing Temporal Logic: Review and Prospects (Abstract)

AU - Barringer, Howard

AU - Gabbay, Dov M

A2 - Vogt, Friedrich H

PY - 1988

Y1 - 1988

M3 - Conference contribution

SN - 3-540-50403-6

VL - 335

T3 - Lecture Notes in Computer Science

SP - 104

EP - 105

BT - Concurrency

PB - Springer Nature

T2 - Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings

Y2 - 1 January 1824

ER -