Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JLP
2008

favoriteEmaildiscussreport

72views more JLP 2008»

Using probabilistic Kleene algebra pKA for protocol verification

13 years 4 months ago

Using probabilistic Kleene algebra pKA for protocol verification

Download www.cse.unsw.edu.au

A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Mo

Real-time Traffic

JLP 2008 |

claim paper

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	JLP
Authors	A. K. McIver, C. Gonzalia, E. Cohen, Carroll C. Morgan

Comments (0)