scientific article
From MaRDI portal
Publication:4035681
zbMath0764.68005MaRDI QIDQ4035681
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
Testing for unboundedness of fifo channels ⋮ Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
This page was built for publication:
