scientific article; zbMATH DE number 1231635
From MaRDI portal
Publication:4222959
zbMath0917.68127MaRDI QIDQ4222959
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=11#11013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model ⋮ Specifying coalgebras with modal logic ⋮ Universal coalgebra: A theory of systems ⋮ Coalgebras as Types Determined by Their Elimination Rules
Uses Software
This page was built for publication:
