@InProceedings{confCMSB2017,
  author = 	 {Miraglio, B. and Bernot, G. and  Comet J.-P. and 
                  Risso-De Faverney, C.},
  title = 	 {Detecting Toxicity Pathways with a Formal Framework 
                  based on Equilibrium Changes},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proceedings of the 15th conference on Computational Methods 
               for Systems Biology (CMSB)},
  year = 	 {2017},
  OPTeditor = 	 {},
  volume = 	 {10545},
  OPTnumber = 	 {},
  series = 	 {LNBI},
  pages = 	 {196--213},
  OPTmonth = 	 {September 27th to 29th 2017},
  OPTaddress = 	 {},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}