| dc.contributor.author |
Iyer, S. Purushothaman |
|
| dc.contributor.author |
Cleaveland, W. Rance, II |
|
| dc.contributor.author |
Narasimha, Muralidhar |
|
| dc.date.accessioned |
2007-01-04T19:56:13Z |
|
| dc.date.available |
2007-01-04T19:56:13Z |
|
| dc.date.issued |
2000 |
|
| dc.identifier.uri |
ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/2000/TR-2000-04.ps.Z |
|
| dc.identifier.uri |
http://www.lib.ncsu.edu/resolver/1840.4/800 |
|
| dc.format.extent |
236731 bytes |
|
| dc.format.extent |
208155 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-2000-04 |
|
| dc.relation.ispartofseries |
Department of Computer Science Technical Report |
|
| dc.title |
A branching-time theory for probabilistic model-checking |
|
| dc.type |
Technical report |
|
