Vincent Danos Jérôme Feret Walter Fontana Jean Krivine Abstract Interpretation of Cellular Signalling Networks. 83-97 2008 VMCAI http://dx.doi.org/10.1007/978-3-540-78163-9_11 conf/vmcai/2008 db/conf/vmcai/vmcai2008.html#DanosFFK08