scientific article

zbMath1150.68383MaRDI QIDQ3416409

Gabriel Ciobanu

Publication date: 22 January 2007

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

zbMATH Keywords

model checking\(\pi\)-calculussystems biology\(Na-K\) pump

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General biology and biomathematics (92B05)

This page was built for publication: