Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/13756
Title: P-Automata: New foundations for discrete-time probabilistic verification
Authors: Huth, M
Wagner, D
Piterman, N
First Published: Jul-2012
Citation: PERFORMANCE EVALUATION, 2012, 69 (7-8), pp. 356-378
DOI Link: 10.1016/j.peva.2012.05.005
ISSN: 0166-5316
Links: http://hdl.handle.net/2381/13756
Type: Journal Article
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.