Temporal Logic with Fixed Points

Behnam Banieqbal; Howard Barringer; Amir Pnueli

Temporal Logic with Fixed Points

Behnam Banieqbal (Editor), Howard Barringer (Editor), Amir Pnueli (Editor)

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

Original language	English
Title of host publication	Temporal Logic in Specification
Editors	Behnam Banieqbal, Howard Barringer, Amir Pnueli
Publisher	Springer Nature
Pages	62-74
Number of pages	13
Volume	398
ISBN (Print)	3-540-51803-7
Publication status	Published - 1987
Event	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/tls/tls1987.html#BanieqbalB87http://dblp.uni-trier.de/rec/bibtex/conf/tls/BanieqbalB87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tls/BanieqbalB87

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/tls/tls1987.html#BanieqbalB87http://dblp.uni-trier.de/rec/bibtex/conf/tls/BanieqbalB87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tls/BanieqbalB87

Access to Document

Cite this

@inproceedings{1f4ff5ee7c594dc79b4bf65ad32beb0d,

title = "Temporal Logic with Fixed Points",

author = "Behnam Banieqbal and Howard Barringer and Amir Pnueli",

year = "1987",

language = "English",

isbn = "3-540-51803-7",

volume = "398",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "62--74",

editor = "Behnam Banieqbal and Howard Barringer and Amir Pnueli",

booktitle = "Temporal Logic in Specification",

address = "United States",

note = "Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/tls/tls1987.html#BanieqbalB87http://dblp.uni-trier.de/rec/bibtex/conf/tls/BanieqbalB87.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/tls/BanieqbalB87",

}

Banieqbal, B, Barringer, H & Pnueli, A (eds) 1987, Temporal Logic with Fixed Points. in B Banieqbal, H Barringer & A Pnueli (eds), Temporal Logic in Specification. vol. 398, Lecture Notes in Computer Science, Springer Nature, pp. 62-74, Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/tls/tls1987.html#BanieqbalB87>

TY - GEN

T1 - Temporal Logic with Fixed Points

A2 - Banieqbal, Behnam

A2 - Barringer, Howard

A2 - Pnueli, Amir

A2 - Banieqbal, Behnam

A2 - Barringer, Howard

A2 - Pnueli, Amir

PY - 1987

Y1 - 1987

M3 - Conference contribution

SN - 3-540-51803-7

VL - 398

T3 - Lecture Notes in Computer Science

SP - 62

EP - 74

BT - Temporal Logic in Specification

PB - Springer Nature

T2 - Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings

Y2 - 1 January 1824

ER -