DMCA

Towards automated proof support for probabilistic distributed systems (2005)

Cached

Download Links

by Ak Mciver , T Weber
Venue:In Proceedings of Logic for Programming and Automated Reasoning, volume 3835 of LNAI
Citations:12 - 8 self