Sciweavers

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

8

IPPS
1998
IEEE

favoriteEmaildiscussreport

102views Distributed And Parallel Com...» more IPPS 1998»

Automated Verification of Communication Protocols Using CCS and BDDs

13 years 9 months ago

Automated Verification of Communication Protocols Using CCS and BDDs

Download ipdps.cc.gatech.edu

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew

Real-time Traffic

Distributed And Parallel Computing | IPPS 1998 |

claim paper

Related Content

» Planning Equational Verification in CCS

» Searching for a Solution to Program VerificationEquation Solving in CCS

» Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV an...

» Developing security protocols by refinement

» Certified mailing lists

» Practical Automated Partial Verification of MultiParadigm RealTime Models

» Formal Verification of a Multicast Protocol In Mobile Networks

» Automated Protocol Implementations Based on Activity Threads

» Model Checking Historical Perspective and Example Extended Abstract

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	IPPS
Authors	Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalewski

Comments (0)