DECISION PROCEDURES FOR TIME AND CHANCE.

Sarit Kraus*, Daniel Lehmann

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

8 Scopus citations
Original languageEnglish
Title of host publicationAnnual Symposium on Foundations of Computer Science (Proceedings)
PublisherIEEE
Pages202-209
Number of pages8
ISBN (Print)0818605081, 9780818605086
DOIs
StatePublished - 1983

Publication series

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

Cite this