International conference
-SAT-based identification of stable states in composed Boolean regulatory networksPedro Varela and Inês Lynce and Vasco Manquinho and Claudine Chaouiya and Pedro T. Monteiro presented at International Workshop on Static Analysis and Systems Biology (SASB 2016), Sep. 2016, [bibTex]