A branching-time theory for probabilistic model-checking

Show full item record

Title:	A branching-time theory for probabilistic model-checking
Author:	Iyer, S. Purushothaman; Cleaveland, W. Rance, II; Narasimha, Muralidhar
Publisher:	North Carolina State University. Dept. of Computer Science
Date:	2000
Series/Report No.:	TR-2000-04 Department of Computer Science Technical Report
URI:	ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2000/TR-2000-04.ps.Z http://www.lib.ncsu.edu/resolver/1840.4/800



Files in this item

Files	Size	Format	View
TR-2000-04.pdf	231.1Kb	PDF	View/Open
TR-2000-04.ps	203.2Kb	Postscript	View/Open

This item appears in the following Collection(s)

• Department of Computer Science Technical Reports
  

Show full item record