Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology

Authors:
Marco Bernardo;Pierpaolo Degano;Gianluigi Zavattaro
Affiliations:
Università di Urbino "Carlo Bo", Istituto di Scienze e Tecnologie dell'Informazione, Urbino, Italy;Università di Pisa, Dipartimento di Informatica, Pisa, Italy;Università di Bologna, Dipartimento di Scienze dell'Informazione, Bologna, Italy
Venue:
SFM'08 Proceedings of the Formal methods for the design of computer, communication, and software systems 8th international conference on Formal methods for computational systems biology
Year:
2008

Algorithmic systems biology

Communications of the ACM - Security in the Browser
An imperative language of self-modifying graphs for biological systems

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Evolving Bio-PEPA process algebra models using genetic programming

Proceedings of the 14th annual conference on Genetic and evolutionary computation

Hi-index	0.00