Probabilistic temporal logics via the modal mu-calculus

Simple item page
dc.contributor.authorNarasimha, Muralidhar
dc.contributor.authorCleaveland, W. Rance, II
dc.contributor.authorIyer, S. Purushothaman
dc.date.accessioned2007-01-04T19:54:11Z
dc.date.available2007-01-04T19:54:11Z
dc.date.issued1998
dc.format.extent282780 bytes
dc.format.extent2317320 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.identifier.uriftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/98/TR-98-11.ps.Z
dc.identifier.urihttp://www.lib.ncsu.edu/resolver/1840.4/710
dc.language.isoen
dc.publisherNorth Carolina State University. Dept. of Computer Science
dc.relation.ispartofseriesTR-98-11
dc.relation.ispartofseriesDepartment of Computer Science Technical Report
dc.titleProbabilistic temporal logics via the modal mu-calculus
dc.typeTechnical report

Files

Original bundle

Now showing 1 - 2 of 2
No Thumbnail Available
Name:
TR-98-11.pdf
Size:
276.15 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
TR-98-11.ps
Size:
2.21 MB
Format:
Postscript Files
Download

Collections

Department of Computer Science Technical Reports