Login / Signup

Closed-Form Upper Bounds in Static Cost Analysis.

Elvira AlbertPuri ArenasSamir GenaimGermán Puebla
Published in: J. Autom. Reason. (2011)
Keyphrases
  • closed form
  • upper bound
  • lower bound
  • closed form expressions