Skip to content

Formal Modeling of Communication Protocols by Graph Transformation.

Zarrin Langari, Richard J. Trefler

VenueBFM
Year2006
ProceedingsFM

Browse the full FM paper archive.