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)

• Department of Computer Science Technical Reports
  

Show full item record