scientific article; zbMATH DE number 1487740
From MaRDI portal
Publication:4494252
zbMath0963.68128MaRDI QIDQ4494252
Clemens Fischer, Heike Wehrheim
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Verifying data refinements using a model checker ⋮ On using data abstractions for model checking refinements ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ A semantics for behavior trees using CSP with specification commands ⋮ Model transformations across views ⋮ CSP with Hierarchical State ⋮ Model checking action system refinements
