A Model Checking Approach to Protocol Conversion

journal contribution

posted on 2024-03-25, 05:48 authored by Roopak SinhaRoopak Sinha, PS Roop, S Basu

A Model Checking Approach to Protocol Conversion

History

Journal

Electronic Notes in Theoretical Computer Science

Volume

203

Pagination

81-94

ISSN

1571-0661

Language

English

Publication classification

C1.1 Refereed article in a scholarly journal

Issue

4

Publisher

ELSEVIER SCIENCE BV

Publication URL

http://dx.doi.org/10.1016/j.entcs.2008.05.012

Usage metrics

Categories

Keywords

Science & Technology Technology Computer Science, Theory & Methods Computer Science model checking protocol conversion protocol mismatches

Licence

All Rights Reserved

Exports