scientific article
From MaRDI portal
Publication:2766652
zbMATH Open0986.68516MaRDI QIDQ2766652
Publication date: 17 June 2002
Title of this publication is not available (Why is that?)
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
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 Q2766652)
