2 works on record
Formal Techniques for Networked and Distributed Systems - FORTE 2003
Computational Methods in Systems Biology