Publication:4413201
From MaRDI portal
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
Related Items
Pathway analysis for BioAmbients, Abstract interpretation based verification of temporal properties for BioAmbients, The computational complexity of scenario-based agent verification and design, GemCell: A generic platform for modeling multi-cellular biological systems, Concurrency in Biological Modeling: Behavior, Execution and Visualization, Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions, Finding Lean Induced Cycles in Binary Hypercubes