Abstract interpretation of cellular signalling networks. (2008)

by V Danos, J Feret, W Fontana, J Krivine
Venue:In Proceedings VMCAI