Reasoning About Probabilistic Sequential Programs

AuthID
P-004-9D1
4
Author(s)
Chadha, R
·
Cruz Filipe, L
·
Document Type
Article
Year published
2007
Published
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 379, Issue: 1-2, Pages: 142-165 (24)
Indexing
Publication Identifiers
Scopus: 2-s2.0-34248206760
Wos: WOS:000247713400006
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.