Abstraction, Refinement and Proof for Probabilistic Systems
Publisher: Springer
Published: Nov 19, 2010
Format: paperback
Number of pages: 408
ISBN-13: 9781441923127
Notes: Source title: Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)