scientific article; zbMATH DE number 910716
From MaRDI portal
Publication:4885874
zbMATH Open0847.68029MaRDI QIDQ4885874
Publication date: 7 October 1996
Title of this publication is not available (Why is that?)
Related Items (4)
Automatic Data Refinement ⋮ Some proofs of data refinement ⋮ Title not available (Why is that?) ⋮ Data refinement of remote procedures
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885874)
