Model checking probabilistic lossy channel systems

Show full item record

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 PDF View/Open
TR-98-08.ps 172.2Kb Postscript View/Open

This item appears in the following Collection(s)

Show full item record