Probabilistic Methods in Verification (Dagstuhl Seminar 00181)

Kwiatkowska, Marta; Herzog, Ulrich; Meinel, Christoph; Vardi, Moshe

doi:10.4230/DagSemRep.273

Document

Probabilistic Methods in Verification (Dagstuhl Seminar 00181)

Authors Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, Moshe Vardi

Part of: Volume: Dagstuhl Seminar Reports (DagSemRep)
Part of: Series: Dagstuhl Seminar Reports (DagSemRep)
License: Creative Commons Attribution 4.0 International license
Publication Date: 2000-10-19

PDF

Files

DagSemRep.273.pdf

Filesize: 247 kB
30 pages

DagSemRep.273-add.pdf

Filesize: 44 kB

Document Identifiers

DOI: 10.4230/DagSemRep.273
URN: urn:nbn:de:0030-drops-151581

Author Details

Marta Kwiatkowska

Ulrich Herzog

Christoph Meinel

Moshe Vardi

Cite AsGet BibTex

Marta Kwiatkowska, Ulrich Herzog, Christoph Meinel, and Moshe Vardi. Probabilistic Methods in Verification (Dagstuhl Seminar 00181). Dagstuhl Seminar Report 273, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)
https://doi.org/10.4230/DagSemRep.273

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail