DECISION PROCEDURES FOR TIME AND CHANCE.

Sarit Kraus^*, Daniel Lehmann

^*Corresponding author for this work

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

10 Scopus citations

Original language	English
Title of host publication	Annual Symposium on Foundations of Computer Science (Proceedings)
Publisher	IEEE
Pages	202-209
Number of pages	8
ISBN (Print)	0818605081, 9780818605086
DOIs	https://doi.org/10.1109/SFCS.1983.12
State	Published - 1983

Name	Annual Symposium on Foundations of Computer Science (Proceedings)
ISSN (Print)	0272-5428

Access to Document

@inproceedings{156dc083e23f48b5b579f1e0dae5fd62,

title = "DECISION PROCEDURES FOR TIME AND CHANCE.",

author = "Sarit Kraus and Daniel Lehmann",

year = "1983",

doi = "10.1109/SFCS.1983.12",

language = "אנגלית",

isbn = "0818605081",

series = "Annual Symposium on Foundations of Computer Science (Proceedings)",

publisher = "IEEE",

pages = "202--209",

booktitle = "Annual Symposium on Foundations of Computer Science (Proceedings)",

}

TY - GEN

T1 - DECISION PROCEDURES FOR TIME AND CHANCE.

AU - Kraus, Sarit

AU - Lehmann, Daniel

PY - 1983

Y1 - 1983

UR - https://www.scopus.com/pages/publications/0020891096

U2 - 10.1109/SFCS.1983.12

DO - 10.1109/SFCS.1983.12

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

AN - SCOPUS:0020891096

SN - 0818605081

SN - 9780818605086

T3 - Annual Symposium on Foundations of Computer Science (Proceedings)

SP - 202

EP - 209

BT - Annual Symposium on Foundations of Computer Science (Proceedings)

PB - IEEE

ER -