Using formal verification methods and tools for protocol profiling and performance assessment in mobile and wireless environments (2010)
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.1109/pimrc.2010.5671736
Publication URI: http://dx.doi.org/10.1109/pimrc.2010.5671736
Type: Conference/Paper/Proceeding/Abstract
ISBN: 978-1-4244-8017-3