scientific article; zbMATH DE number 2172806
From MaRDI portal
Publication:4680193
zbMath1104.68365MaRDI QIDQ4680193
Donald Sannella, Andrzej Tarlecki, Till Mossakowski, Anne Elisabeth Haxthausen
Publication date: 2 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
The formalization of Vickrey auctions: a comparison of two approaches in Isabelle and Theorema ⋮ A coalgebraic perspective on logical interpretations ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ An Institution for Imperative RSL Specifications ⋮ Model-Driven Engineering in the Heterogeneous Tool Set ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach
Uses Software
This page was built for publication:
