scientific article; zbMATH DE number 1303073
From MaRDI portal
Publication:4249575
zbMath0930.68030MaRDI QIDQ4249575
Publication date: 9 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Action systems in incremental and aspect-oriented modeling ⋮ A formal framework for Hybrid Event B ⋮ Hybrid action systems
This page was built for publication: