×

Found 2 Documents (Results 1–2)

On compositionality, efficiency, and applicability of abstraction in probabilistic systems. (English) Zbl 1206.68207

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 67-78 (2009).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field