scientific article
From MaRDI portal
Publication:4028636
zbMath0825.68201MaRDI QIDQ4028636
Patrik Ernberg, Lars-åke Fredlund, Bengt Jonsson
Publication date: 28 March 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 (3)
Property preserving abstractions for the verification of concurrent systems ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ An algebraic verification of a mobile network
Uses Software
This page was built for publication:
