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)

Show full item record