scientific article; zbMATH DE number 2102715
From MaRDI portal
Publication:4818799
zbMath1046.68600MaRDI QIDQ4818799
Henrik Reif Andersen, Jørn Lind-Nielsen
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Compositional abstraction refinement for control synthesis ⋮ A framework for compositional verification of multi-valued systems via abstraction-refinement
Uses Software
This page was built for publication:
