Sciweavers

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

34

Voted

ENTCS
2008

favoriteEmaildiscussreport

59views more ENTCS 2008»

A Model Checking Approach to Protocol Conversion

14 years 9 months ago

A Model Checking Approach to Protocol Conversion

Download www.cs.iastate.edu

Roopak Sinha, Partha S. Roop, Samik Basu

Real-time Traffic

ENTCS 2008 |

claim paper

Related Content

» An Automatic Approach to Enable Replacement of Conversational Services

» A Principled Modular Approach to Construct Flexible Conversation Protocols

» A Computational Model for Conversation Policies for Agent Communication

» An ActionStateBased ModelChecking Approach for the Analysis of Communication Protocols for...

» A New Model Checking Approach for Verifying Agent Communication Protocols

» Web Service Interactions Analysis and Design

» A Module Checking Based Converter Synthesis Approach for SoCs

» LTL Model Checking for Security Protocols

» An intruder model with message inspection for model checking security protocols

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ENTCS
Authors	Roopak Sinha, Partha S. Roop, Samik Basu

Comments (0)