Probabilistic temporal logics via the modal mu-calculus
No Thumbnail Available
Date
1998
Advisors
Journal Title
Series/Report No.
TR-98-11
Department of Computer Science Technical Report
Department of Computer Science Technical Report
Journal ISSN
Volume Title
Publisher
North Carolina State University. Dept. of Computer Science