author = "Pedro Varela and In{\^e}s Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro",
   title = "{SAT-based} identification of stable states in composed Boolean regulatory networks",
   booktitle = "International Workshop on Static Analysis and Systems Biology (SASB 2016)",
   location = "Edinburgh, UK",
   year = 2016,
   month = sep,
   BibTexOrigem = "12128 www.Inesc-ID.pt 2019-06-19"

You may copy/past the above, or you may click here to export it

This is a recent BibTex adaptation in test which probably do not cover all the conversions needed
If you find an error or something missing, please tell us. Thanks for your comprehension!