Model checking probabilistic lossy channel systems
Title: | Model checking probabilistic lossy channel systems |
Author: | Iyer, S. Purushothaman; Narasimha, Muralidhar |
Publisher: | North Carolina State University. Dept. of Computer Science |
Date: | 1998 |
Series/Report No.: | TR-98-08 Department of Computer Science Technical Report |
URI: |
ftp://ftp.ncsu.edu/pub/unity/lockers/ftp/csc_anon/tech/98/TR-98-08.ps.Z
http://www.lib.ncsu.edu/resolver/1840.4/713 |
Files in this item
Files | Size | Format | View |
---|---|---|---|
TR-98-08.pdf | 270.3Kb |
View/ |
|
TR-98-08.ps | 172.2Kb | Postscript |
View/ |