author = "Pedro T. Monteiro and Ana T. Freitas and Delphine Ropers and Radu Mateescu and Hidde de Jong",
title = "Modeling and formal verification of biological regulatory networks: an integrative approach (short paper)",
booktitle = "IEEE International Conference on Bioinformatics and Biomedicine (BIBM10)",
year = 2010,
month = dec,
BibTexOrigem = "7111 www.Inesc-ID.pt 2018-12-11"
You may copy/past the above, or you may click here to export itThis is a recent BibTex adaptation in test which probably do not cover all the conversions needed
You might want to look the old version instead