Probabilistic temporal logics via the modal mu-calculus
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 |
View/ |
|
TR-98-11.ps | 2.209Mb | Postscript |
View/ |