Abstract Interpretation of Cellular Signalling Networks.

Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine

Browse the full VMCAI paper archive.