A branching-time theory for probabilistic model-checking

No Thumbnail Available

Files

TR-2000-04.pdf (231.18 KB)
TR-2000-04.ps (203.28 KB)

Date

2000

Authors

Advisors

Journal Title

Series/Report No.

TR-2000-04
Department of Computer Science Technical Report

Journal ISSN

Volume Title

Publisher

North Carolina State University. Dept. of Computer Science

Abstract

Description

Keywords

Citation

URI

ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2000/TR-2000-04.ps.Z
 http://www.lib.ncsu.edu/resolver/1840.4/800

Degree

Discipline

Collections

Department of Computer Science Technical Reports