Model building and model checking for biochemical processes

Marco Antoniotti, Alberto Policriti, Nadia Ugel, Bud Mishra

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Model building and model checking for biochemical processes'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics