Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Calder Muffy Heftet / 2007 / Engelsk
Language Constructs for Describing Features Proceedings of the FIREworks workshop Gilmore Stephen Heftet / 2000 / Engelsk
Process Algebra and Probabilistic Methods. Performance Modelling and Verification Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001. Proceedings Alfaro, Luca de Heftet / 2001 / Engelsk
