Toward efficient protocol design through protocol profiling and performance assessment: using formal verification in a different context TOWARD EFFICIENT PROTOCOL DESIGN-FORMAL VERIFICATION (2012)

First Author: Georgoulas S
Attributed to:  MVCE Strategic Partnership: Core 5 Flexible Networks funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1002/dac.1317

Publication URI: http://dx.doi.org/10.1002/dac.1317

Type: Journal Article/Review

Parent Publication: International Journal of Communication Systems

Issue: 11