scientific article; zbMATH DE number 2080068
From MaRDI portal
Publication:4472262
zbMath1043.68547MaRDI QIDQ4472262
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800465.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Equivalence checking 40 years after: a review of bisimulation tools ⋮ On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP ⋮ Compositional verification of asynchronous concurrent systems using CADP
This page was built for publication: