scientific article; zbMATH DE number 1538047
From MaRDI portal
Publication:4518903
zbMath0960.68107MaRDI QIDQ4518903
Giuseppe del Castillo, Kirsten Winter
Publication date: 3 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Data Flow Analysis and Testing of Abstract State Machines ⋮ A data-flow approach to test multi-agent ASMs ⋮ Decidable properties for monadic abstract state machines ⋮ Language-Oriented Formal Analysis: a Case Study on Protocols and Distributed Systems
This page was built for publication:
