scientific article; zbMATH DE number 1543046
From MaRDI portal
zbMath0971.68051MaRDI QIDQ4520499
Publication date: 26 February 2001
Full work available at URL: http://www.jucs.org/jucs_3_5/integrating_asm
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, A data-flow approach to test multi-agent ASMs, A high-level modular definition of the semantics of C\(_{\sharp}\)
