Monika HeinerBooksFormal Techniques for Networked and Distributed Systems - FORTE 2003Computational Methods in Systems BiologyAuthor data: Open Library