Our research
Connections
Careers
About us
Microsoft Translator
|
All
Downloads
Events
Groups
News
People
Projects
Publications
Videos
Stochastic Modelling of Communication Protocols from Source Code
Michael J. A. Smith
2007
In
Electr. Notes Theor. Comput. Sci.
Details
Type
Article
Pages
129-145
Volume
190
Number
3
Related Labs
Microsoft Research Cambridge
Share
>
Publications
>
Stochastic Modelling of Communication Protocols from Source Code