scientific article; zbMATH DE number 2080762
From MaRDI portal
Publication:4473726
zbMath1050.68528MaRDI QIDQ4473726
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2211/22110237.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Refinement preserving approximations for the design and verification of heterogeneous systems ⋮ The refinement calculus of reactive systems ⋮ Approximating Behaviors in Embedded System Design ⋮ Partition refinement of component interaction automata
This page was built for publication:
