scientific article; zbMATH DE number 2090521
From MaRDI portal
Publication:4809158
zbMath1045.68527MaRDI QIDQ4809158
Alexander Bockmayr, Arnaud Courtois
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010085.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical biology in general (92B99)
Related Items (9)
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity ⋮ A multi-scale constraint programming model of alternative splicing regulation ⋮ Modeling and querying biomolecular interaction networks ⋮ A Declarative View of Signaling Pathways ⋮ Static analysis and stochastic search for reachability problem ⋮ TCC, with History ⋮ Bio-PEPA with Events ⋮ Timed Concurrent Constraint Programming for Analysing Biological Systems ⋮ Models and emerging trends of concurrent constraint programming
This page was built for publication:
