scientific article; zbMATH DE number 1314231
From MaRDI portal
Publication:4256317
zbMath0918.68064MaRDI QIDQ4256317
Rolf Hennicker, Alexander Kurz
Publication date: 12 July 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=19#19012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems ⋮ Coalgebras for Binary Methods: Properties of Bisimulations and Invariants ⋮ From Algebras and Coalgebras to Dialgebras ⋮ Towards Behavioral Maude ⋮ Greatest Bisimulations for Binary Methods
This page was built for publication:
