Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems
ACM SIGPLAN Notices - United States
doi 10.1145/2775051.2676998
Full Text
Open PDFAbstract
Available in full text
Categories
Date
May 11, 2015
Authors
Publisher
Association for Computing Machinery (ACM)