Efficient verification of a multicast protocol for mobile computing
type: Item
instance of: scholarly article
zbMATH Open document ID: 0983.68123
author: Giuseppe Anastasi
author: Alberto Bartoli
author: Nicoletta De Francesco
author: Antonella Santone
publication date: 2002-04-21T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68M10
zbMATH DE Number: 1658234
zbMATH Keywords: formal verification
zbMATH Keywords: multicast protocol
zbMATH Keywords: mobile computing
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/comjnl/44.1.21
OpenAlex ID: W2117780369
DOI: 10.1093/COMJNL/44.1.21
title: Efficient verification of a multicast protocol for mobile computing
published in: The Computer Journal. Section A Section B
description: scientific article; zbMATH DE number 1658234