scientific article; zbMATH DE number 3566120
From MaRDI portal
Publication:4138075
zbMath0363.68015MaRDI QIDQ4138075
Gregor von Bochmann, Jan Gecsei
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Verification of a class of link-level protocols ⋮ Global garbage collection for distributed heap storage systems ⋮ Specification and analysis of a data transfer protocol using systems of communicating machines
This page was built for publication:
