scientific article; zbMATH DE number 1304374
From MaRDI portal
Publication:4251109
zbMath0928.68075MaRDI QIDQ4251109
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
On testing UML statecharts ⋮ Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
Uses Software
This page was built for publication:
