CONCURRENT DYNAMIC LOGIC.

David Peleg

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

9 Scopus citations

Original language	English
Title of host publication	Conference Proceedings of the Annual ACM Symposium on Theory of Computing
Publisher	ACM (Order n 508850)
Pages	232-239
Number of pages	8
ISBN (Print)	0897911512, 9780897911511
DOIs	https://doi.org/10.1145/22145.22172
State	Published - 1985
Externally published	Yes

Name	Conference Proceedings of the Annual ACM Symposium on Theory of Computing
ISSN (Print)	0734-9025

Access to Document

@inproceedings{19b0e7de3f5148208293a82784585912,

title = "CONCURRENT DYNAMIC LOGIC.",

author = "David Peleg",

year = "1985",

doi = "10.1145/22145.22172",

language = "אנגלית",

isbn = "0897911512",

series = "Conference Proceedings of the Annual ACM Symposium on Theory of Computing",

publisher = "ACM (Order n 508850)",

pages = "232--239",

booktitle = "Conference Proceedings of the Annual ACM Symposium on Theory of Computing",

}

TY - GEN

T1 - CONCURRENT DYNAMIC LOGIC.

AU - Peleg, David

PY - 1985

Y1 - 1985

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

U2 - 10.1145/22145.22172

DO - 10.1145/22145.22172

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

AN - SCOPUS:0021980241

SN - 0897911512

SN - 9780897911511

T3 - Conference Proceedings of the Annual ACM Symposium on Theory of Computing

SP - 232

EP - 239

BT - Conference Proceedings of the Annual ACM Symposium on Theory of Computing

PB - ACM (Order n 508850)

ER -