scientific article
From MaRDI portal
zbMath1169.68353MaRDI QIDQ3396617
Publication date: 19 September 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Distributed Adaptive Systems, Abstract State Machines with Exact Real Arithmetic, Systematic Refinement of Abstract State Machines with Higher-Order Logic, Towards a Logic for Abstract MetaFinite State Machines