scientific article
From MaRDI portal
Publication:2753715
zbMath0976.68105MaRDI QIDQ2753715
Elvinia Riccobene, Angelo Gargantini
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems, Ambient abstract state machines with applications, A logic for secure memory access of abstract state machines