Login / Signup

Abstract Interpretation of Cellular Signalling Networks.

Vincent DanosJérôme FeretWalter FontanaJean Krivine
Published in: VMCAI (2008)
Keyphrases
  • abstract interpretation
  • termination analysis
  • traffic engineering
  • static analysis
  • model checking
  • database systems
  • cellular networks
  • active rules