Search results for: Mathias John
Lecture Notes in Computer Science > Formal Methods for Computational Systems Biology > Regular Lectures > 81-124
Lecture Notes in Computer Science > Formal Methods in Systems Biology > Contributed Papers > 123-138