Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections

From MaRDI portal
(Redirected from Publication:970002)