Formalizing the Behavior of Biological Processes with Mobility.

Bogdan Aman, Gabriel Ciobanu

Browse the full UC paper archive.