Almost always and "sometime definitely" are not enough: Probabilistic quanifiers and probabilistic model-checking

No Thumbnail Available

Files

TR-96-16.pdf (204.25 KB)
TR-96-16.ps (123.17 KB)

Date

1996

Authors

Advisors

Journal Title

Series/Report No.

TR-96-16
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/96/TR-96-16.ps.Z
 http://www.lib.ncsu.edu/resolver/1840.4/735

Degree

Discipline

Collections

Department of Computer Science Technical Reports