Almost always and "sometime definitely" are not enough: Probabilistic quanifiers and probabilistic model-checking
| Title: | Almost always and "sometime definitely" are not enough: Probabilistic quanifiers and probabilistic model-checking |
| Author: | Iyer, S. Purushothaman; Narasimha, Muralidhar |
| Publisher: | North Carolina State University. Dept. of Computer Science |
| Date: | 1996 |
| Series/Report No.: | TR-96-16 Department of Computer Science Technical Report |
| 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 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| TR-96-16.pdf | 204.2Kb |
View/ |
|
| TR-96-16.ps | 123.1Kb | Postscript |
View/ |
