BioMaxP: A Formal Approach for Cellular Ion Pumps

Bogdan Aman, Gabriel Ciobanu. BioMaxP: A Formal Approach for Cellular Ion Pumps. The Computer Science Journal of Moldova, 23(2):123-134, 2015. [doi]

Abstract

Abstract is missing.