Model checking of the reliability of publish/subscribe structure based system (2012)
Attributed to:
India-UK Advanced Technology Centre (IU-ATC) of Excellence in Next Generations Networks Systems and Services Phase 2
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/iccchina.2012.6356870
Publication URI: http://dx.doi.org/10.1109/iccchina.2012.6356870
Type: Conference/Paper/Proceeding/Abstract
ISBN: 978-1-4673-2814-2