A Zoo of Probabilistic Systems

Thumbnail
Metadata only
Author
Hölzl, Johannes
Lochbihler, Andreas
Traytel, Dmitriy
Date
2015-05
Type
    Journal Article
Publication status
published
External links
https://www.isa-afp.org/entries/Probabilistic_System_Zoo.shtml
Journal / series
Archive of Formal Proofs
Publisher
SourceForge
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics