scientific article; zbMATH DE number 1544531
From MaRDI portal
Publication:4520893
zbMATH Open0978.68090MaRDI QIDQ4520893
Publication date: 18 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (6)
Unnamed Item ⋮ Semantics of full statecharts based on graph rewriting ⋮ A constructive approach to state description semantics ⋮ Verification of well-formed communicating recursive state machines ⋮ Verification of scope-dependent hierarchical state machines ⋮ A comparison of Statecharts step semantics
This page was built for publication:
