Reasoning About Probabilistic Sequential Programs

AuthID
P-004-9D1
4
Author(s)
Chadha, R
·
Cruz Filipe, L
·
Tipo de Documento
Article
Year published
2007
Publicado
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 379, Número: 1-2, Páginas: 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.