scientific article; zbMATH DE number 1950545

zbMath1053.92034MaRDI QIDQ4413201

Na'Aman Kam, Rami Marelly, Hillel Kugler, E. Jane Albert Hubbard, Amir Pnueli, Michael J. Stern, David Harel

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2602/26020004.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Problems related to evolution (92D15) Computing methodologies and applications (68U99)

Related Items

The computational complexity of scenario-based agent verification and design ⋮ Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions ⋮ Pathway analysis for BioAmbients ⋮ GemCell: A generic platform for modeling multi-cellular biological systems ⋮ Abstract interpretation based verification of temporal properties for BioAmbients ⋮ Finding Lean Induced Cycles in Binary Hypercubes ⋮ Concurrency in Biological Modeling: Behavior, Execution and Visualization