scientific article; zbMATH DE number 2172805
From MaRDI portal
Publication:4680192
zbMath1104.68360MaRDI QIDQ4680192
Chris George, Anne Elisabeth Haxthausen
Publication date: 2 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Order-sorted algebraic specifications with higher-order functions ⋮ Model checking RAISE applicative specifications ⋮ A UTP semantics for \textsf{Circus}
Uses Software