| dc.contributor.author |
Iyer, S. Purushothaman |
|
| dc.contributor.author |
Narasimha, Muralidhar |
|
| dc.date.accessioned |
2007-01-04T19:54:42Z |
|
| dc.date.available |
2007-01-04T19:54:42Z |
|
| dc.date.issued |
1996 |
|
| dc.identifier.uri |
ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/96/TR-96-16.ps.Z |
|
| dc.identifier.uri |
http://www.lib.ncsu.edu/resolver/1840.4/735 |
|
| dc.format.extent |
209157 bytes |
|
| dc.format.extent |
126131 bytes |
|
| dc.format.mimetype |
application/pdf |
|
| dc.format.mimetype |
application/pdf |
|
| dc.format.mimetype |
application/postscript |
|
| dc.language.iso |
en |
|
| dc.publisher |
North Carolina State University. Dept. of Computer Science |
|
| dc.relation.ispartofseries |
TR-96-16 |
|
| dc.relation.ispartofseries |
Department of Computer Science Technical Report |
|
| dc.title |
Almost always and "sometime definitely" are not enough: Probabilistic quanifiers and probabilistic model-checking |
|
| dc.type |
Technical report |
|
