Probabilistic temporal logics via the modal mu-calculus

Show full item record

Title:	Probabilistic temporal logics via the modal mu-calculus
Author:	Narasimha, Muralidhar; Cleaveland, W. Rance, II; Iyer, S. Purushothaman
Publisher:	North Carolina State University. Dept. of Computer Science
Date:	1998
Series/Report No.:	TR-98-11 Department of Computer Science Technical Report
URI:	ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/98/TR-98-11.ps.Z http://www.lib.ncsu.edu/resolver/1840.4/710



Files in this item

Files	Size	Format	View
TR-98-11.pdf	276.1Kb	PDF	View/Open
TR-98-11.ps	2.209Mb	Postscript	View/Open

This item appears in the following Collection(s)

• Department of Computer Science Technical Reports
  

Show full item record